Project

General

Profile

Download (364 Bytes) Statistics
| Branch: | Tag: | Revision:
1 22fe1c93 ploc
#!/bin/sh
2
3
# OASIS_START
4 04e26a3f xthirioux
# DO NOT EDIT (digest: 425187ed8bfdbdd207fd76392dd243a7)
5 22fe1c93 ploc
set -e
6
7 04e26a3f xthirioux
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 22fe1c93 ploc
# OASIS_STOP