Switch to #!/bin/sh (don't use "env" unless we have to)
authorChristopher Allan Webber <cwebber@dustycloud.org>
Wed, 10 Feb 2016 19:11:02 +0000 (11:11 -0800)
committerChristopher Allan Webber <cwebber@dustycloud.org>
Wed, 10 Feb 2016 19:11:02 +0000 (11:11 -0800)
commit493698a5360e3eca134cbb94aa3e4aa8656b105b
treea675b956d06fa8c8cc10e582320b34b79a01a637
parent850eabc3251462a6c31d33e3952c6e0fcabd66b5
Switch to #!/bin/sh (don't use "env" unless we have to)

env causes problems in GuixSD and maybe even some other places.
devtools/update_extlib.sh