diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-16 19:50:15 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-16 19:50:15 +0000 |
| commit | 525d5afc5b3a613fe019f263549ef0b28228d974 (patch) | |
| tree | 5c76813bcd941273f49f48d056131b81fe0d8ff4 /paper.tex | |
| parent | 035e44f3bfdd814c4b7d8240011672ed625aed8d (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