diff options
| author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-23 02:27:28 +0000 |
|---|---|---|
| committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-23 02:27:28 +0000 |
| commit | 8c6536c56c728213b9e1190f0c9f76f7b4948140 (patch) | |
| tree | ab192e932935ea25f77924836e40e9adf0034caa /vest | |
| parent | 9ac87abac855aaaa6c1dcf686b38443092a10ce6 (diff) | |
bottom-up FF from fsa FF - WordPenaltyFsa - needs debugging
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@373 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'vest')
| -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; |