Project

General

Profile

« Previous | Next » 

Revision 10996

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

View differences:

lib/sh/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