diff options
-rwxr-xr-x | 4store-install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/4store-install b/4store-install index 4f70582..7d4f356 100755 --- a/4store-install +++ b/4store-install @@ -16,6 +16,7 @@ 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 c3d8593c39dc04a39e272f729e486c1576f6aeba" && run_cmd "$cmd" "checkout to particular commit" cmd="./autogen.sh" && run_cmd "$cmd" "Autogen" export FST=$OT_PREFIX/4S |