mirror of
https://github.com/curl/curl.git
synced 2026-07-26 01:47:15 +03:00
remove the build.log too at exit, and also use the proper $pwd prefix
to find the files/dirs to remove so that it still works if we "die" after having done a 'cd'
This commit is contained in:
parent
afa5924487
commit
6ca7af3419
1 changed files with 6 additions and 2 deletions
|
|
@ -38,9 +38,13 @@ export LANG
|
|||
|
||||
die(){
|
||||
echo "testcurl: ENDING HERE"
|
||||
if test -n "$build"; then
|
||||
if test -n "$pwd/$build"; then
|
||||
# we have a build directory name, remove the dir
|
||||
rm -rf $build
|
||||
rm -rf "$pwd/$build"
|
||||
fi
|
||||
if test -r "$pwd/build.log"; then
|
||||
# we have a build log output file left, remove it
|
||||
rm -rf "$pwd/build.log"
|
||||
fi
|
||||
exit 1
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue