summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordavor <vorgrimmlerdavid@gmx.de>2012-08-06 14:30:57 +0200
committerdavor <vorgrimmlerdavid@gmx.de>2012-08-06 14:30:57 +0200
commit03dfd4c5b16d715bbb56f96bdf0618c9f3c67ebd (patch)
tree24c5898948d37f1018e000dba7176e35b32f7ecd
parent85f8c1b7cd8c397fe6839afea8e3bd7260825973 (diff)
Added correct filename.
-rwxr-xr-xinstall2
1 files changed, 1 insertions, 1 deletions
diff --git a/install b/install
index 504ae49..2e1304e 100755
--- a/install
+++ b/install
@@ -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