diff options
Diffstat (limited to 'jam-files')
-rw-r--r-- | jam-files/check-environment.jam | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jam-files/check-environment.jam b/jam-files/check-environment.jam index 32866683b..2381bb857 100644 --- a/jam-files/check-environment.jam +++ b/jam-files/check-environment.jam @@ -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) ; } } } |