There is nothing bash specific here
authorgrimreaper <eitan@eitanadler.com>
Sat, 6 Oct 2012 13:00:40 +0000 (10:00 -0300)
committergrimreaper <eitan@eitanadler.com>
Sat, 6 Oct 2012 13:00:40 +0000 (10:00 -0300)
/bin/bash is always wrong. Since there is nothing bash specific here, switch to /bin/sh

devscripts/release.sh

index 75f8ec8eb2bb9c119d82979183d07cf6f4edfa7a..963a6c22bcde80fb4c666f8e9e68230cfbf3be93 100755 (executable)
@@ -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"