diff make-coverage.sh.in @ 935:e977f7a0e8fd

Cleanup temporary stuff (like shar lockdir) always (even when interrupted) on exit.
author Sascha Wilde <wilde@intevation.de>
date Fri, 22 Aug 2014 18:03:52 +0200
parents 5cd525fc91de
children 0f3af6916395
line wrap: on
line diff

http://wald.intevation.org/projects/trustbridge/