diff options
| author | Marc André Tanner <mat@brain-dump.org> | 2018-01-24 20:25:05 +0100 |
|---|---|---|
| committer | Marc André Tanner <mat@brain-dump.org> | 2018-01-26 20:06:53 +0100 |
| commit | 30f13eb60e8e9a7333051709bda758f8ee442151 (patch) | |
| tree | b3785d8bb2f8e131fb359e888aab22bc8a00ddcd /configure | |
| parent | 45f5446d2a243811a2b02927e05e3993d09e7361 (diff) | |
| download | vis-30f13eb60e8e9a7333051709bda758f8ee442151.tar.gz vis-30f13eb60e8e9a7333051709bda758f8ee442151.tar.xz | |
build: abort configure scripts upon interrupts
Fix #607
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -190,7 +190,8 @@ tmpo="./conf$$-$PPID-$i.o" test "$i" -gt 50 && fail "$0: cannot create temporary file $tmpc" done set +C -trap 'rm -f "$tmpc" "$tmpo"' EXIT INT QUIT TERM HUP +trap 'rm -f "$tmpc" "$tmpo"' EXIT QUIT TERM HUP +trap 'rm -f "$tmpc" "$tmpo" && echo && fail "$0: interrupted"' INT # # Find a C compiler to use |