Corrected typo in environment before running make

We recently moved the system's `rm' program absolute address to a shell
variable that is found during the `./project' script. But I had forgot to
account for the difference between the Make and Bash variable naming
differences. I had also forgot to add a value to the HOME variable.

With this commit both are corrected: the system's `rm' path is now called
`sys_rm' and the HOME variable is set.

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