diff options
| author | Eike Stepper | 2011-06-12 17:48:16 +0000 |
|---|---|---|
| committer | Eike Stepper | 2011-06-12 17:48:16 +0000 |
| commit | e4c94c3eaa2b42ee00135b3fbf4766c5e2a46634 (patch) | |
| tree | 010684a4e955e515dd5f1bc87526c6b3b095116f /releng | |
| parent | d0c6eda26f7aa0554df39283197bae02dd57c432 (diff) | |
| download | cdo-e4c94c3eaa2b42ee00135b3fbf4766c5e2a46634.tar.gz cdo-e4c94c3eaa2b42ee00135b3fbf4766c5e2a46634.tar.xz cdo-e4c94c3eaa2b42ee00135b3fbf4766c5e2a46634.zip | |
Diffstat (limited to 'releng')
| -rw-r--r-- | releng/org.eclipse.emf.cdo.releng/promotion/promote.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/releng/org.eclipse.emf.cdo.releng/promotion/promote.sh b/releng/org.eclipse.emf.cdo.releng/promotion/promote.sh index a289109d79..9eeae2d22f 100644 --- a/releng/org.eclipse.emf.cdo.releng/promotion/promote.sh +++ b/releng/org.eclipse.emf.cdo.releng/promotion/promote.sh @@ -4,7 +4,7 @@ set -e promotionDir=~/promotion jobsDir=$promotionDir/jobs -function CriticalSection () +CriticalSection () { for job in `ls "$jobsDir"` do @@ -36,7 +36,9 @@ if ( set -o noclobber; echo "$$" > "$lockFile" ) 2> /dev/null; then trap 'rm -f "$lockFile"; exit $?' INT TERM EXIT - CriticalSection() + ############### + CriticalSection + ############### rm -f "$lockFile" trap - INT TERM EXIT |