diff options
| author | Filippo Valsorda <filippo.valsorda@gmail.com> | 2012-10-09 01:16:40 -0700 |
|---|---|---|
| committer | Filippo Valsorda <filippo.valsorda@gmail.com> | 2012-10-09 01:16:40 -0700 |
| commit | d64db7409b06c7bc50674c190ae7d5c85045c940 (patch) | |
| tree | 7589f1b6f69e97654224655cee05014686e34ec4 | |
| parent | 27fec0e3bd042968cacfc2adcd2122f3aff7c572 (diff) | |
| parent | d51d784f85575e58296f127edef1cbabdf5aabaa (diff) | |
Merge pull request #458 from grimreaper/patch-1
There is nothing bash specific in release.sh, switch to /bin/sh
| -rwxr-xr-x | devscripts/release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devscripts/release.sh b/devscripts/release.sh index 75f8ec8eb..963a6c22b 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" |