4 Commits

Author	SHA1	Message	Date
Christopher Allan Webber	493698a536	Switch to #!/bin/sh (don't use "env" unless we have to) ... env causes problems in GuixSD and maybe even some other places.	2016-02-10 11:11:02 -08:00
Loic Dachary	c17f755eea	Fix #5315 - use env in shebangs	2016-01-14 10:25:23 -08:00
ayleph	dcd8c8348a	Redirect which stderr to /dev/null	2015-04-22 17:18:35 -05:00
Christopher Allan Webber	572106e230	Script and makefile adjustments for updating extlib	2015-02-17 15:48:27 -06:00