Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / configure @ 3f823d04

History | View | Annotate | Download (363 Bytes)

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