Project

General

Profile

Download (363 Bytes) Statistics
| Branch: | Tag: | Revision:
1 22fe1c93 ploc
#!/bin/sh
2
3
# OASIS_START
4 719f9992 xthirioux
# DO NOT EDIT (digest: dc86c2ad450f91ca10c931b6045d0499)
5 22fe1c93 ploc
set -e
6
7 04e26a3f xthirioux
FST=true
8 719f9992 xthirioux
for i in "$@"; do
9 04e26a3f xthirioux
  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 22fe1c93 ploc
# OASIS_STOP