diff options
| author | Andreas Maunz <andreas@maunz.de> | 2011-04-01 15:48:11 +0200 |
|---|---|---|
| committer | Andreas Maunz <andreas@maunz.de> | 2011-04-01 15:48:11 +0200 |
| commit | 59aeec7630a6487d4f067915692c834722349ba5 (patch) | |
| tree | 697605df987cbb56d7229910ec8b338d0ef51e73 /opentox-webservices.sh | |
| parent | bd42d2f31d370648610fe76e1e9ca9c45ad57517 (diff) | |
all
Diffstat (limited to 'opentox-webservices.sh')
| -rwxr-xr-x | opentox-webservices.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/opentox-webservices.sh b/opentox-webservices.sh index 7141d3c..02558ab 100755 --- a/opentox-webservices.sh +++ b/opentox-webservices.sh @@ -58,7 +58,7 @@ cmd="test -f $HOME/.opentox/config/production.yaml" && run_cmd "$cmd" "Config pr cd $WWW_DEST/opentox/algorithm >>$LOG 2>&1 sudo updatedb >>$LOG 2>&1 for mylib in bbrc last; do - cmd="sed -i 's/INCLUDE_OB.*/INCLUDE_OB\ =\ $OB_DEST/include/g' $WWW_DEST/algorithm/libfminer/lib$mylib/Makefile" && run_cmd "$cmd" "Makefile $mylib" + cmd="sed -i 's,INCLUDE_OB.*,INCLUDE_OB\ =\ $OB_DEST/include,g' $WWW_DEST/algorithm/libfminer/lib$mylib/Makefile" && run_cmd "$cmd" "Makefile $mylib" done cmd="$RAKE fminer:install" && run_cmd "$cmd" "Make" |