1 files changed, 1 insertions, 1 deletions
diff --git a/project b/project
index b366e00..c60bba1 100755
--- a/project
+++ b/project
@@ -265,7 +265,7 @@ EOF
         # Remove all existing environment variables (with `env -i') and
         # only use some pre-defined environment variables, then build the
         # project.
-        envmake=".local/bin/env -i HOME= sys-rm=$(which rm) $gopt"
+        envmake=".local/bin/env -i HOME=$bdir sys_rm=$(which rm) $gopt"
         envmake="$envmake .local/bin/make -f reproduce/analysis/make/top.mk"
         if ! [ x"$debug" = x  ]; then envmake="$envmake --debug=$debug"; fi