d/freebsd-dev
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

When cleaning house, don't try to remove what isn't there.

Browse Source
This commit is contained in:
des 2004-07-09 13:15:32 +00:00
parent 604ce9f691
commit ee84ef7509
1 changed files with 13 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
tools/tools/tinderbox/tinderbox.pl
View File

@ -415,13 +415,19 @@ MAIN:{
# Clean up remains from old runs
if ($cmds{'clean'}) {
logstage("cleaning the sandbox");
remove_dir("$sandbox/src")
or error("unable to remove old source directory");
remove_dir("$sandbox/obj")
or error("unable to remove old object directory");
spawn('/bin/chflags', '-R', '0', "$sandbox/root");
remove_dir("$sandbox/root")
or error("unable to remove old chroot directory");
if (-e "$sandbox/src") {
remove_dir("$sandbox/src")
or error("unable to remove old source directory");
}
if (-e "$sandbox/obj") {
remove_dir("$sandbox/obj")
or error("unable to remove old object directory");
}
if (-e "$sandbox/root") {
spawn('/bin/chflags', '-R', '0', "$sandbox/root");
remove_dir("$sandbox/root")
or error("unable to remove old chroot directory");
}
}
# Check out new source tree