Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / configure @ 9603460e

History | View | Annotate | Download (363 Bytes)

1 22fe1c93 ploc
#!/bin/sh
2
3
# OASIS_START
4 9603460e xthirioux
# DO NOT EDIT (digest: dc86c2ad450f91ca10c931b6045d0499)
5 22fe1c93 ploc
set -e
6
7 04e26a3f xthirioux
FST=true
8 9603460e 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