repo.or.cz
/
sqlgg.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
sql: + INSERT DEFAULT
[sqlgg.git]
/
configure
blob
6acfaeb953f7778c285f85f3e41ac0adfd6188fb
1
#!/bin/sh
2
3
# OASIS_START
4
# DO NOT EDIT (digest: dc86c2ad450f91ca10c931b6045d0499)
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