From: Christopher Allan Webber <cwebber@dustycloud.org>
Date: Wed, 10 Feb 2016 19:11:02 +0000 (-0800)
Subject: Switch to #!/bin/sh (don't use "env" unless we have to)
X-Git-Url: https://vcs.fsf.org/?a=commitdiff_plain;h=493698a5360e3eca134cbb94aa3e4aa8656b105b;p=mediagoblin.git

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 214fccef..bc39a3cf 100755
--- 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.