aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure4
1 files changed, 3 insertions, 1 deletions
diff --git a/configure b/configure
index c0e81c8eee..27fdc02705 100755
--- a/configure
+++ b/configure
@@ -251,7 +251,9 @@ case $CAMLC in
*/ocamlc|*/ocamlc.opt) true;;
*/) CAMLC=${CAMLC}ocamlc;;
*) CAMLC=${CAMLC}/ocamlc;;
- esac;;
+ esac
+ bytecamlc=$CAMLC
+ nativecamlc=`dirname $CAMLC`/$nativecamlc;;
esac
if test ! -f $CAMLC ; then