From da1123c78780b2f35a626fd694aff427e3e12892 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Sun, 28 Jul 2019 15:17:17 +0100 Subject: 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. --- project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'project') 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 -- cgit v1.2.1