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)
env causes problems in GuixSD and maybe even some other places.

devtools/update_extlib.sh

index 214fccef4e6136ca32a3642138878a80ffd31dc8..bc39a3cfdce2a1662b09b840e373d05dc5e2fb84 100755 (executable)
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 
 # GNU MediaGoblin -- federated, autonomous media hosting
 # Copyright (C) 2015 GNU MediaGoblin Contributors.  See AUTHORS.