diff --git a/install.sh b/install.sh index 58a73f9..f930bf3 100755 --- a/install.sh +++ b/install.sh @@ -1,4 +1,4 @@ -#! /bin/sh +#! /bin/bash # Although these should be inherited from the Makefile, # we set some defaults ourself, too, in case we are called