Last change
on this file since 18681 was 16477, checked in by tbretz, 11 years ago |
Increased waiting time to check for server availablility a bit.
|
-
Property svn:executable
set to
*
|
File size:
365 bytes
|
Line | |
---|
1 | #!/bin/bash
|
---|
2 |
|
---|
3 | if [ ! -f compiling.lock ]; then
|
---|
4 |
|
---|
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
|
---|
16 | fi
|
---|
17 |
|
---|
18 | make $* && rm compiling.lock && sleep 15 && dimctrl --quit --cmd '.js scripts/check.js'
|
---|
Note:
See
TracBrowser
for help on using the repository browser.