diff options
author | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-03-27 02:21:11 +0300 |
---|---|---|
committer | Ulrich Germann <Ulrich.Germann@gmail.com> | 2015-03-27 02:21:11 +0300 |
commit | 41fec16d8f89eb7d157f90cfd47f649d5db8e983 (patch) | |
tree | 4e1aebc4002d8861ce9b9b21cfed7f8579ebd688 | |
parent | 0c49fb9a006db97008ade5488c793bea0d057fd4 (diff) |
Fixed auto-setting of --with-regtest based on environment variable.
-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) ; } } } |