|
@@ -24,6 +24,9 @@
|
|
# You shouldn't need to mess with anything beyond this point...
|
|
# You shouldn't need to mess with anything beyond this point...
|
|
#--------------------------------------------------------------
|
|
#--------------------------------------------------------------
|
|
|
|
|
|
|
|
+# Delete default rules. We don't use them. This saves a bit of time.
|
|
|
|
+.SUFFIXES:
|
|
|
|
+
|
|
# we want bash as shell
|
|
# we want bash as shell
|
|
SHELL := $(shell if [ -x "$$BASH" ]; then echo $$BASH; \
|
|
SHELL := $(shell if [ -x "$$BASH" ]; then echo $$BASH; \
|
|
else if [ -x /bin/bash ]; then echo /bin/bash; \
|
|
else if [ -x /bin/bash ]; then echo /bin/bash; \
|