Update make_example_database.sh to use #!/bin/sh instead of #!/usr/bin/env

* devtools/make_example_database.sh: Update shebang.

diff --git a/devtools/make_example_database.sh b/devtools/make_example_database.sh
index 7cca3921ef429650950986553a061ddc42a4f42b..6d025adee3827160413a333c117daaf2ca67fea5 100755 (executable)
--- a/devtools/make_example_database.sh
+++ b/devtools/make_example_database.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.