use dash as make shell *if available*

2012-09-08 21:54:03 +02:00 · 2012-09-08 21:54:03 +02:00 · 8ac3c3a82f
parent 3dc3f6d54d
commit 8ac3c3a82f
1 changed files with 3 additions and 1 deletions
--- a/src/Makefile
+++ b/src/Makefile
@ -1,4 +1,6 @@
-SHELL=/bin/dash
+ifeq ($(wildcard /bin/dash), /bin/dash)
+    SHELL=/bin/dash
+endif

 .PHONY: help
 help: