s434730/RandomSec
3
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #935 from RBGKew/fix-build-file

Browse Source 
Change refine shell script to run with Bash
This commit is contained in:
Tom Morris 2015-01-25 12:58:34 -05:00
commit a663fc626e
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
refine
View File

@ -1,4 +1,4 @@
#!/bin/sh #!/bin/bash
########################################################## ##########################################################
# OpenRefine Control System # # OpenRefine Control System #
@ -15,12 +15,12 @@ exit 1
} }
error() { error() {
echo "$1" echo "Error: $1"
exit 1 exit 1
} }
warn() { warn() {
echo "$1" echo "Warning: $1"
exit 0 exit 0
} }
@ -633,8 +633,6 @@ ui_test() {
server_test() { server_test() {
ant server_test ant server_test
$RUN_CMD || error "Failed passing server tests"
} }
run() { run() {