Changeset 16477
- Timestamp:
- 05/30/13 10:55:21 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/FACT++/recompile.sh
r15334 r16477 16 16 fi 17 17 18 make $* && rm compiling.lock && sleep 1 0&& dimctrl --quit --cmd '.js scripts/check.js'18 make $* && rm compiling.lock && sleep 15 && dimctrl --quit --cmd '.js scripts/check.js'
Note:
See TracChangeset
for help on using the changeset viewer.