diff options
Diffstat (limited to 'infrastructure')
| -rwxr-xr-x | infrastructure/makebuildenv.pl.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/infrastructure/makebuildenv.pl.in b/infrastructure/makebuildenv.pl.in index 52ae9328..edd96063 100755 --- a/infrastructure/makebuildenv.pl.in +++ b/infrastructure/makebuildenv.pl.in @@ -405,8 +405,8 @@ for my $mod (@implicit_deps, @modules) print TESTFILE <<__E; kill_process() { - test -r testfiles/$1.pid \ - && /bin/kill -0 -f `cat testfiles/$1.pid` \ + test -r testfiles/$1.pid \\ + && /bin/kill -0 -f `cat testfiles/$1.pid` \\ && /bin/kill -f `cat testfiles/$1.pid` } __E @@ -416,8 +416,8 @@ __E print TESTFILE <<__E; kill_process() { - test -r testfiles/$1.pid \ - && kill -0 `cat testfiles/$1.pid` \ + test -r testfiles/$1.pid \\ + && kill -0 `cat testfiles/$1.pid` \\ && kill `cat testfiles/$1.pid` } __E |