Search:
GitHub Login
Preferences
My Notifications
Tickets
Wiki
GitHub
Timeline
Roadmap
Ticket Reports
Search
Context Navigation
Back to Ticket #43071
Ticket #43071
: distcc-pumpedshell
File distcc-pumpedshell,
219 bytes
(added by
RJVB (René Bertin)
,
11 years ago
)
goes in files
Line
1
#!/bin/sh
2
3
CleanUp
(){
4
distcc-pump --shutdown
5
}
6
7
eval
`
distcc-pump --startup
`
8
9
trap
"CleanUp"
0
10
trap
"CleanUp"
1
11
trap
"CleanUp"
2
12
13
if
[
"
$SHELL
"
!
=
""
]
;
then
14
"
$SHELL
"
"
$@
"
15
RET
=
$?
16
else
17
bash
"
$@
"
18
RET
=
$?
19
fi
20
exit
$RET
Download in other formats:
Original Format