54 Commits

Author	SHA1	Message	Date
Steven Merrill	6a79d797d2	Don't allow a dirty Git tree to fail the make command.	2013-07-09 01:24:19 -04:00
Mitchell Hashimoto	45dfcf59c9	scripts: Add git commit to builds	2013-07-08 15:37:01 -07:00
Julian Phillips	c077232744	Fix building on Ubuntu ... 1) /bin/sh is not /bin/bash, so build.sh needs to explictly use /bin/bash 2) dash's echo does not support \x, but it does support \0 (since dash is /bin/sh, it gets used by Makefiles).	2013-06-30 13:15:19 +01:00
Mitchell Hashimoto	df6de5beab	move scripts into the scripts/ folder	2013-06-19 22:44:02 -07:00