lustrec/configure @ 9aaee7f9
1 |
#!/bin/sh
|
---|---|
2 |
|
3 |
# OASIS_START
|
4 |
# DO NOT EDIT (digest: 425187ed8bfdbdd207fd76392dd243a7)
|
5 |
set -e |
6 |
|
7 |
FST=true |
8 |
for i in "$@"; do |
9 |
if $FST; then |
10 |
set -- |
11 |
FST=false |
12 |
fi |
13 |
|
14 |
case $i in |
15 |
--*=*) |
16 |
ARG=${i%%=*} |
17 |
VAL=${i##*=} |
18 |
set -- "$@" "$ARG" "$VAL" |
19 |
;;
|
20 |
*) |
21 |
set -- "$@" "$i" |
22 |
;;
|
23 |
esac
|
24 |
done
|
25 |
|
26 |
ocaml setup.ml -configure "$@" |
27 |
# OASIS_STOP
|