diff options
Diffstat (limited to 'project')
| -rwxr-xr-x | project | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -36,6 +36,7 @@ host_cc=0 operation= build_dir= input_dir= +noappendix=0 check_config= make_targets= software_dir= @@ -119,6 +120,7 @@ Configure and Make options: -?, --help Print this help list. Make options: + --no-appendix Don't include the appendix in the final paper. -d, --debug=FLAGS Print various types of debugging information. -p, --prepare-redo Re-do preparation (only done automatically once). @@ -205,6 +207,8 @@ do # # Note that Make's `debug' can take values, but when called without any # value, it is like giving it a value of `a'): + --no-appendix) noappendix=1; shift;; + --no-appendix=*) on_off_option_error --no-appendix;; -d|--debug) if [ x"$2" = x ]; then debug=a; shift; else debug="$2"; check_v debug "$debug"; shift;shift; fi;; -d=*|--debug=*) debug="${1#*=}"; check_v debug "$debug"; shift;; @@ -370,8 +374,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 --no-builtin-rules" - envmake="$envmake --no-builtin-variables -f $1" + envmake="$envmake noappendix=$noappendix .local/bin/make" + envmake="$envmake --no-builtin-rules --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 |