diff options
| author | Daniil Baturin <daniil@baturin.org> | 2016-12-13 08:11:55 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2016-12-13 08:11:55 +0600 |
| commit | affd90247d952e2891b3195df1adc3b0b90a8561 (patch) | |
| tree | d0bffb0c21b38b35edc25966346085b340bdfdd4 /configure | |
| parent | d515e5be698397612630548652bf7c146da39d6d (diff) | |
| download | vyconf-affd90247d952e2891b3195df1adc3b0b90a8561.tar.gz vyconf-affd90247d952e2891b3195df1adc3b0b90a8561.zip | |
Remove oasis-generated files, not needed at least until we modify anything in them.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/configure b/configure deleted file mode 100755 index 6acfaeb..0000000 --- a/configure +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/sh - -# OASIS_START -# DO NOT EDIT (digest: dc86c2ad450f91ca10c931b6045d0499) -set -e - -FST=true -for i in "$@"; do - if $FST; then - set -- - FST=false - fi - - case $i in - --*=*) - ARG=${i%%=*} - VAL=${i##*=} - set -- "$@" "$ARG" "$VAL" - ;; - *) - set -- "$@" "$i" - ;; - esac -done - -ocaml setup.ml -configure "$@" -# OASIS_STOP |