aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-11-24 18:40:01 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-11-24 18:40:01 +0000
commit042563213e3a2641dd914470cfd98d63aef67b64 (patch)
tree1970791bc017ddf3ebdb5945c05e49b904b06ec5
parentcae8be3505acee2f58dea4ff60978aee2f8787ed (diff)
Project's Makefiles run with no builtin rules or variables
Until now, after removing all environment variables, we were just giving Make the top Makefile to execute. By default, for every target, Make will try many built-in rules (which is good when compiling programs, but redundant in other cases). All these checkings also populate the debugging output of Make (with `-d'). So its easier and slightly faster to just tell Make to ignore builtin rules and variables. With this commit, to address this issue, the `project' script runs `.local/bin/make' with `--no-builtin-rules' and `--no-builtin-variables'.
-rwxr-xr-xproject3
1 files changed, 2 insertions, 1 deletions
diff --git a/project b/project
index ee3bff3..c5b2cdd 100755
--- a/project
+++ b/project
@@ -230,7 +230,8 @@ controlled_env() {
# 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=$bdir sys_rm=$(which rm) $gopt"
- envmake="$envmake .local/bin/make -f $1"
+ envmake="$envmake .local/bin/make --no-builtin-rules"
+ envmake="$envmake --no-builtin-variables -f $1"
if ! [ x"$debug" = x ]; then envmake="$envmake --debug=$debug"; fi
# Set the number of jobs. Note that for the `configure.sh' script the