diff options
Diffstat (limited to 'vest/dist-vest.pl')
| -rwxr-xr-x | vest/dist-vest.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vest/dist-vest.pl b/vest/dist-vest.pl index 8251de30..aed74a3f 100755 --- a/vest/dist-vest.pl +++ b/vest/dist-vest.pl @@ -173,7 +173,7 @@ if ($dryrun){ write_config(*STDERR); exit 0; } else { - if (-e $dir && dirsize($dir)>1){ # allow preexisting logfile + if (-e $dir && dirsize($dir)>1 && -e "$dir/hgs" ){ # allow preexisting logfile, binaries, but not dist-vest.pl outputs die "ERROR: working dir $dir already exists\n\n"; } else { -e $dir || mkdir $dir; |