4 Commits

Author	SHA1	Message	Date
Jérôme Petazzoni	749a7d0e4f	Add a check to make sure that make.sh only runs within a container.	2013-08-20 19:35:30 -07:00
Jérôme Petazzoni	d9f769930b	Cosmetic changes: rewrapping, `` → $()… before starting the real work	2013-08-20 19:35:30 -07:00
Jérôme Petazzoni	d750060f0c	add "|| true" otherwise "set -e" kills us if the repo is clean	2013-08-20 19:35:30 -07:00
Solomon Hykes	89ee524229	Good-bye, ugly mega-Makefile. Docker can now be built with docker, with the help of a simple very simple shell script.	2013-08-20 19:34:10 -07:00