summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorgebele <gebele@in-silico.ch>2015-05-11 17:30:23 +0200
committergebele <gebele@in-silico.ch>2015-05-11 17:30:23 +0200
commit6825674f02c5c48164c2ecd6fcfc0d0a3f23292c (patch)
tree9f33d862f587840efc86db8e6ff49b9f128b947c
parent045b9621ff2f2721f31b77f2afeb4d45b899834e (diff)
keep up to date
-rwxr-xr-x4store-install1
1 files changed, 0 insertions, 1 deletions
diff --git a/4store-install b/4store-install
index 82f860b..6996a18 100755
--- a/4store-install
+++ b/4store-install
@@ -16,7 +16,6 @@ check_utils "git make tar wget"
cd $OT_PREFIX/tmp/
([ -d $SELF ] && cd $SELF && cmd="$GIT pull" && run_cmd "$cmd" "Git pull") || (cmd="$GIT clone https://github.com/garlik/$SELF" && run_cmd "$cmd" "Git clone")
cd $SELF
-cmd="$GIT checkout -b ist 6bdf110519ef67976921c0113161850458107518" && run_cmd "$cmd" "checkout to particular commit"
#cmd="$GIT checkout -b ist 7d44d803a51834f1ce9eeb489562f39f0abc18d6" && run_cmd "$cmd" "checkout to particular commit"
cmd="./autogen.sh" && run_cmd "$cmd" "Autogen"
export FST=$OT_PREFIX/4S