Make start-dev.sh work on BSD systems

In BSD, GNU make is normally named gmake. In start-dev.sh, check if we are in a BSD system set call gmake instead of make if the system is BSD.
RJ · Jul 18, 2010 · 7c2bc22 · 7c2bc22
1 parent 9396655
commit 7c2bc22
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/priv/skel/start-dev.sh b/priv/skel/start-dev.sh
@@ -1,4 +1,12 @@
 #!/bin/sh
 cd `dirname $0`
-make
+
+MAKE=make
+case `uname` in
+*BSD)
+	MAKE=gmake
+	;;
+esac
+
+"${MAKE}"
 exec erl -pa $PWD/ebin $PWD/deps/*/ebin -boot start_sasl -s reloader -s skel