Ticket #43071: distcc-pumpedshell

File distcc-pumpedshell, 219 bytes (added by RJVB (René Bertin), 10 years ago)

goes in files

Line 
1#!/bin/sh
2
3CleanUp(){
4        distcc-pump --shutdown
5}
6
7eval `distcc-pump --startup`
8
9trap "CleanUp" 0
10trap "CleanUp" 1
11trap "CleanUp" 2
12
13if [ "$SHELL" != "" ] ;then
14        "$SHELL" "$@"
15        RET=$?
16else
17        bash "$@"
18        RET=$?
19fi
20exit $RET