devtools: Switching "#!/usr/bin/env bash" -> "#!/bin/sh" again

[mediagoblin.git] / devtools / update_translations.sh

diff --git a/devtools/update_translations.sh b/devtools/update_translations.sh
index d04f4b3363dc7940f0f387077169997169d7c510..29d3a5fc4f16aac10706ba6334c2d0f30cfd1c07 100755 (executable)
--- a/devtools/update_translations.sh
+++ b/devtools/update_translations.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 
 # GNU MediaGoblin -- federated, autonomous media hosting
 # Copyright (C) 2011, 2012 GNU MediaGoblin contributors.  See AUTHORS.