Browse Source

Merge pull request #458 from grimreaper/patch-1

There is nothing bash specific in release.sh, switch to /bin/sh
master
Filippo Valsorda 12 years ago
parent
commit
d64db7409b
1 changed files with 1 additions and 1 deletions
  1. 2
      devscripts/release.sh

2
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"

Loading…
Cancel
Save