Changeset 15092 for trunk/FACT++/recompile.sh
- Timestamp:
- 03/18/13 14:40:46 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/FACT++/recompile.sh
r14441 r15092 1 1 #!/bin/bash 2 2 3 touch compiling.lock 3 if [ ! -x compiling.lock ]; then 4 4 5 if [ ! -x dimctrl ]; then 6 make $* dimctrl || exit 5 touch compiling.lock 6 7 if [ ! -x dimctrl ]; then 8 make $* dimctrl || exit 9 fi 10 11 dimctrl --quit --cmd ".w 3000" --cmd "DIS_DNS/KILL_SERVERS 126" --cmd ".w 3000" --cmd "DIS_DNS/EXIT 126" 12 13 sleep 5 14 15 make clean 7 16 fi 8 17 9 dimctrl --quit --cmd ".w 3000" --cmd "DIS_DNS/KILL_SERVERS 126" --cmd ".w 3000" --cmd "DIS_DNS/EXIT 126" 10 11 sleep 5 12 13 make clean 14 15 make $* && rm compiling.lock 18 make $* && rm compiling.lock && sleep 5 && dimctrl --quit --cmd '.js scripts/check.js'
Note:
See TracChangeset
for help on using the changeset viewer.