9224: Update each TimestampFile after upload.

This is a follow-up to 2fecb120e5b9be7a85f209e90114731f3e95f709.

diff --git a/jenkins/run_upload_packages.py b/jenkins/run_upload_packages.py
index 98c1ab22ff196cae0930424796c3913f16bd0b91..62e571639d892999c7cd608d5817d1f8abc752bd 100755 (executable)
--- a/jenkins/run_upload_packages.py
+++ b/jenkins/run_upload_packages.py
@@ -267,7 +267,7 @@ def main(arguments, stdout=sys.stdout, stderr=sys.stderr):
                                              '.last_upload_%s' % target))
         last_upload_ts = ts_file.last_upload()
         build_suite_and_upload(target, last_upload_ts, args)
-    ts_file.update()
+        ts_file.update()
 
 if __name__ == '__main__':
     main(sys.argv[1:])