Revision 10996
Added by Aaron Marcuse-Kubitza about 11 years ago
make.sh | ||
---|---|---|
4 | 4 |
if self_not_included; then |
5 | 5 |
|
6 | 6 |
if isset rm; then : "${remake:=$rm}"; fi #mnemonic: files are rm'd (overwritten) |
7 |
unset rm # don't allow rm to override remake if an invoked script uses this file |
|
7 | 8 |
|
8 | 9 |
# usage: target_filename/command() { echo_func; set_make_vars; use $target...; } |
9 | 10 |
alias set_make_vars="$(cat <<'EOF' |
Also available in: Unified diff
bugfix: lib/sh/make.sh: don't allow rm to override remake if an invoked script uses this file. this fixes a bug in `rm=1 inputs/.../.../run` where the remake action would be invoked on the map_table command even though it had been suppressed, because it was run externally (i.e. make.sh was reloaded) and the rm=1 flag was still active