diff options
| author | Hugo Herbelin | 2017-05-13 22:37:27 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-06-04 16:40:43 +0200 |
| commit | 299cbc41f74aa4dd8ddfd14ca9da3a92cff34474 (patch) | |
| tree | 4e58b6dcb547503294236da50201ec62e0b493e8 /configure | |
| parent | ce1e1dba837ad6e2c79ff7e531b5e3adea3cd327 (diff) | |
Fixing an inconsistency between configure and configure.ml.
The shell script configure was assuming the existence of option
-camldir which was removed in 333d41a9.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -3,7 +3,7 @@ ## This micro-configure shell script is here only to ## launch the real configuration via ocaml -cmd=ocaml +ocaml=ocaml script=./configure.ml if [ ! -f $script ]; then @@ -16,10 +16,11 @@ fi ## Parse the args, only looking for -camldir ## We avoid using shift to keep "$@" intact +cmd=$ocaml last= for i; do case $last in - -camldir|--camldir) cmd="$i/ocaml"; break;; + -camldir) cmd="$i/$ocaml"; break;; esac last=$i done |
