| Last change
 on this file since 15352 was             15334, checked in by tbretz, 13 years ago | 
        
          | compiling.lock is not executable | 
        
          | 
              
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 10 && dimctrl --quit --cmd '.js scripts/check.js' | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.