diff options
| author | Markus Mohrhard <markus.mohrhard@googlemail.com> | 2017-04-26 01:55:01 +0200 |
|---|---|---|
| committer | Markus Mohrhard <markus.mohrhard@googlemail.com> | 2017-05-19 03:43:31 +0200 |
| commit | eb6c82c7d77b885f9579284add0a64495dece6c8 (patch) | |
| tree | 799570a30c3f95d214adcdccd4aa7fc4eb4c6767 | |
| parent | f2784997c266c29ef02884d4fc8c0580505af94a (diff) | |
ignore the precomplete file at least for now
Change-Id: I997bdc38f705d7536a99a168815ece93dcf0c0de
| -rwxr-xr-x | bin/update/make_incremental_update.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/bin/update/make_incremental_update.sh b/bin/update/make_incremental_update.sh index 7c5e10826ba8..72286f06ce8a 100755 --- a/bin/update/make_incremental_update.sh +++ b/bin/update/make_incremental_update.sh @@ -122,12 +122,12 @@ if test $? -ne 0 ; then exit 1 fi -if [ ! -f "precomplete" ]; then - if [ ! -f "Contents/Resources/precomplete" ]; then - notice "precomplete file is missing!" - exit 1 - fi -fi +# if [ ! -f "precomplete" ]; then +# if [ ! -f "Contents/Resources/precomplete" ]; then +# notice "precomplete file is missing!" +# exit 1 +# fi +# fi list_dirs newdirs list_files newfiles |