diff options
author | davor <vorgrimmlerdavid@gmx.de> | 2012-08-06 14:30:57 +0200 |
---|---|---|
committer | davor <vorgrimmlerdavid@gmx.de> | 2012-08-06 14:30:57 +0200 |
commit | 03dfd4c5b16d715bbb56f96bdf0618c9f3c67ebd (patch) | |
tree | 24c5898948d37f1018e000dba7176e35b32f7ecd | |
parent | 85f8c1b7cd8c397fe6839afea8e3bd7260825973 (diff) |
Added correct filename.
-rwxr-xr-x | install | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -40,7 +40,7 @@ echo [ -f $HOME/.opentox/config/install/config.sh ] || (cmd="mkdir -p $HOME/.opentox/config/install && cp config.sh $HOME/.opentox/config/install" && run_cmd "$cmd" "Install config.sh to CONFIG (~/.opentox)") . ./base-install # Debian specific; disable this for others. -./raptor_rasqal.sh +./raptor_rasqal-install # Download, compile and build raptor2 and rasqal. Install to OT_PREFIX. ./4store-install # Download, compile and build 4store. Install to OT_PREFIX. if [ ! -d ~/.rbenv ]; then |