diff options
author | Hieu Hoang <hieuhoang@gmail.com> | 2014-12-02 22:25:47 +0300 |
---|---|---|
committer | Hieu Hoang <hieuhoang@gmail.com> | 2014-12-02 22:25:47 +0300 |
commit | 5bbd30ec12e4bcb88e29246e4fce71cc33528d44 (patch) | |
tree | 8b31548f099f6244841d6c9f296c5b6f7a3e1faf | |
parent | 49a2ff1faa2ef3659fcfb02554278f7ea91172c4 (diff) |
comment out running script. Need to get git version to insert into exec
-rw-r--r-- | Jamroot | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -250,7 +250,7 @@ if [ path.exists $(TOP)/dist ] && $(prefix) != dist { echo ; } -local temp = [ _shell "./s.sh" ] ; +#local temp = [ _shell "bash source ./s.sh" ] ; local temp = [ _shell "mkdir bin" ] ; local temp = [ _shell "rm bin/moses_chart" ] ; local temp = [ _shell "cd bin && ln -s moses moses_chart" ] ; |