From 20adec8f26e8b88a6fb07c0be342170893758370 Mon Sep 17 00:00:00 2001 From: Christopher Allan Webber Date: Fri, 25 Mar 2016 16:21:58 -0700 Subject: [PATCH] Update make_example_database.sh to use #!/bin/sh instead of #!/usr/bin/env * devtools/make_example_database.sh: Update shebang. --- devtools/make_example_database.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devtools/make_example_database.sh b/devtools/make_example_database.sh index 7cca3921..6d025ade 100755 --- 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. -- 2.25.1