* "type" is a bash-builtin (as pointed out by Sven-Ola Tuecke)
authorBernd Petrovitsch <bernd@firmix.at>
Thu, 16 Aug 2007 18:41:34 +0000 (18:41 +0000)
committerBernd Petrovitsch <bernd@firmix.at>
Thu, 16 Aug 2007 18:41:34 +0000 (18:41 +0000)
Makefile.inc

index 0e92afe..f7b8f50 100644 (file)
@@ -1,5 +1,5 @@
 # programs
-CCACHE ?=       $(shell sh -c "type -path ccache")
+CCACHE ?=       $(shell bash -c "type -path ccache")
 ifeq ($(origin CC),default)
 CC =           $(CCACHE) gcc
 else