diff options
author | davor <vorgrimmlerdavid@gmx.de> | 2012-08-03 11:59:04 +0200 |
---|---|---|
committer | davor <vorgrimmlerdavid@gmx.de> | 2012-08-03 11:59:04 +0200 |
commit | 1393f5f75b4afb50986a6d79fc2657be965ae1d7 (patch) | |
tree | fc1a71c8d9505115c27c76ed158c9145b05bd311 /utils.sh | |
parent | b8c44f7ef95dcba6261376930fe1c55a53b178bc (diff) |
Added raptor/rasqal script.
Diffstat (limited to 'utils.sh')
-rwxr-xr-x | utils.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -108,7 +108,7 @@ install_ot_service(){ cd $OT_PREFIX ot_git_download cd $SERVICE - git checkout development + git checkout $OT_BRANCH case "$SERVICE" in opentox-server) install_with_bundler;; opentox-client) install_with_bundler;; |