Switch to #!/bin/sh (don't use "env" unless we have to)

env causes problems in GuixSD and maybe even some other places.

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