mirror of
https://github.com/curl/curl.git
synced 2026-07-27 10:17:22 +03:00
remove the build directory on exist, if there is any
This commit is contained in:
parent
a7de09a966
commit
bbafc27b42
1 changed files with 4 additions and 0 deletions
|
|
@ -38,6 +38,10 @@ export LANG
|
|||
|
||||
die(){
|
||||
echo "testcurl: ENDING HERE"
|
||||
if test -n "$build"; then
|
||||
# we have a build directory name, remove the dir
|
||||
rm -rf $build
|
||||
fi
|
||||
exit 1
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue