Fixed auto-setting of --with-regtest based on environment variable.

This commit is contained in:
Ulrich Germann 2015-03-26 23:21:11 +00:00
parent 0c49fb9a00
commit 41fec16d8f

View File

@ -35,7 +35,7 @@ if $(regtest) = yes
if [ path.exists $(where) ]
{
echo "Using $(where) from environment variable MOSES_REGTEST_ROOT."
option.set "with-moses-regtest" : $(where) ;
option.set "with-regtest" : $(where) ;
}
}
}