diff options
| author | Michał Masłowski <mtjm@mtjm.eu> | 2014-08-22 17:54:02 (EDT) |
|---|---|---|
| committer | Michał Masłowski <mtjm@mtjm.eu> | 2014-08-22 17:54:02 (EDT) |
| commit | 4e8051dfaa0ba5617961481056eb7e79d7b50861 (patch) | |
| tree | ea3408536606e85efcb516a515f566e925b95b0b /cleandeps | |
| parent | 7e626a1d7edc18b06b80eae0440971280d3827de (diff) | |
| download | libreboot-4e8051dfaa0ba5617961481056eb7e79d7b50861.zip libreboot-4e8051dfaa0ba5617961481056eb7e79d7b50861.tar.gz libreboot-4e8051dfaa0ba5617961481056eb7e79d7b50861.tar.bz2 | |
Avoid unnecessary failures in build scripts.
We should use set -e in future to detect earlier more significant
failures.
Diffstat (limited to 'cleandeps')
| -rwxr-xr-x | cleandeps | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -53,7 +53,7 @@ cd ../ cd grub -make clean +[[ -f Makefile ]] && make clean # done. go back to main directoy cd ../ |