Merge pull request #458 from grimreaper/patch-1
authorFilippo Valsorda <filippo.valsorda@gmail.com>
Tue, 9 Oct 2012 08:16:40 +0000 (01:16 -0700)
committerFilippo Valsorda <filippo.valsorda@gmail.com>
Tue, 9 Oct 2012 08:16:40 +0000 (01:16 -0700)
There is nothing bash specific in release.sh, 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"