Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[contrib] merge: pull request #10 from git://github.com/aszlig/opalang

  • Loading branch information...
commit fb7b29842ae4446732e4ed9e4f0b12c2b23c3b3b 2 parents 628308a + fb7ab0a
François-Régis Sinot authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  configure
View
2  configure
@@ -314,7 +314,7 @@ fi
# - checking camlidl *
echo-check for camlidl
-if [ -n "${NO_CAMLIDL:-}" ]; then
+if [ "X$NO_CAMLIDL" = "X1" ]; then
HAS_CAMLIDL=
CAMLIDL=
echo-ok Disabled
Please sign in to comment.
Something went wrong with that request. Please try again.