Commit 19113486 authored by Pietro Abate's avatar Pietro Abate

Fix printer for parametric types

parent 169c58ca
......@@ -165,7 +165,7 @@ OCAMLDIR=$ROOT/ocaml
MAKECONF=$ROOT/../Makefile.conf
WITHOCAML=false
test -f $MAKECONF && WITHOCAML=`cat $MAKECONF | grep ML_INTERFACE | cut -d '=' -f 2`
test -f $MAKECONF && WITHOCAML=`cat $MAKECONF | grep "ML_INTERFACE=" | cut -d '=' -f 2`
if test $WITHOCAML = "true"; then
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment