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 | c70e58a62d9f2fed4df0665202c2eb44334dfd8c (patch) | |
| tree | ac9f217c6359535d4bb1184f7c8dbbad12526087 /vest | |
| parent | c31d752edf981ca243fc08d340024d10c023a66e (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; |