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 02:49:22 +0200 |
commit | 80a552e1b5e7f99cd5e512793ced76c774ed3e10 (patch) | |
tree | 1e9d45e4d6e5338404873fa4d16b628327a27899 | |
parent | 5339bb09a193770a34a188e12f5d5d8a4e9efcf3 (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 |