From d51d784f85575e58296f127edef1cbabdf5aabaa Mon Sep 17 00:00:00 2001 From: grimreaper Date: Sat, 6 Oct 2012 10:00:40 -0300 Subject: [PATCH] There is nothing bash specific here /bin/bash is always wrong. Since there is nothing bash specific here, switch to /bin/sh --- devscripts/release.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devscripts/release.sh b/devscripts/release.sh index 75f8ec8eb2..963a6c22bc 100755 --- a/devscripts/release.sh +++ b/devscripts/release.sh @@ -1,4 +1,4 @@ -#! /bin/bash +#!/bin/sh if [ -z "$1" ]; then echo "ERROR: specify version number like this: $0 1994.09.06"; exit 1; fi version="$1"