summaryrefslogtreecommitdiff
path: root/cleandeps
diff options
context:
space:
mode:
authorMichał Masłowski <mtjm@mtjm.eu>2014-08-22 23:54:02 +0200
committerMichał Masłowski <mtjm@mtjm.eu>2014-08-22 23:54:02 +0200
commit4e8051dfaa0ba5617961481056eb7e79d7b50861 (patch)
treeea3408536606e85efcb516a515f566e925b95b0b /cleandeps
parent7e626a1d7edc18b06b80eae0440971280d3827de (diff)
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-xcleandeps2
1 files changed, 1 insertions, 1 deletions
diff --git a/cleandeps b/cleandeps
index 220f544..21980ba 100755
--- a/cleandeps
+++ b/cleandeps
@@ -53,7 +53,7 @@ cd ../
cd grub
-make clean
+[[ -f Makefile ]] && make clean
# done. go back to main directoy
cd ../