From 493698a5360e3eca134cbb94aa3e4aa8656b105b Mon Sep 17 00:00:00 2001 From: Christopher Allan Webber Date: Wed, 10 Feb 2016 11:11:02 -0800 Subject: [PATCH] Switch to #!/bin/sh (don't use "env" unless we have to) env causes problems in GuixSD and maybe even some other places. --- devtools/update_extlib.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.25.1