diff options
Diffstat (limited to '4store-install')
| -rwxr-xr-x | 4store-install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/4store-install b/4store-install index 6996a18..82f860b 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 7d44d803a51834f1ce9eeb489562f39f0abc18d6" && run_cmd "$cmd" "checkout to particular commit" cmd="./autogen.sh" && run_cmd "$cmd" "Autogen" export FST=$OT_PREFIX/4S |