aboutsummaryrefslogtreecommitdiff
path: root/paper.tex
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-16 19:50:15 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-16 19:50:15 +0000
commit525d5afc5b3a613fe019f263549ef0b28228d974 (patch)
tree5c76813bcd941273f49f48d056131b81fe0d8ff4 /paper.tex
parent035e44f3bfdd814c4b7d8240011672ed625aed8d (diff)
Minor correction in shell's if statement
If the Makefile `$(static_build)' variable in '/reproduce/src/make/dependencies-build-rules.mk' isn't defined (by mistake), it will default to blank space, then the Shell will complain about a bad formatted operator (needing two operands). So an `x' was added before it and before `yes' which will allow us to safely pass such cases without a terrible crash.
Diffstat (limited to 'paper.tex')
0 files changed, 0 insertions, 0 deletions