# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1561728034 -7200
# Node ID cd411b0d1e19d7a39dc0e090bd2561daae7d0fa5
# Parent  df75b62e653ea5137fca9a80f4ee5d8236353860
flatpak (build_manifest): fixed ignore-cache when "all" is used

diff -r df75b62e653e -r cd411b0d1e19 flatpak/build_manifest.py
--- a/flatpak/build_manifest.py	Fri Jun 28 15:19:47 2019 +0200
+++ b/flatpak/build_manifest.py	Fri Jun 28 15:20:34 2019 +0200
@@ -199,7 +199,8 @@
 
     if shortname in args.ignore_cache or 'all' in args.ignore_cache:
         print(f"ignoring cache for {shortname}")
-        args.ignore_cache.remove(shortname)
+        if shortname in args.ignore_cache:
+            args.ignore_cache.remove(shortname)
         return None
     try:
         cache_name = cache[name]
@@ -1009,7 +1010,7 @@
     with package_file.open('w') as f:
         json.dump(manifest, f, indent=4)
 
-    if args.ignore_cache:
+    if args.ignore_cache and args.ignore_cache != ['all']:
         print("/!\\ those --ignore-cache arguments don't correspond to any step: {}".
               format(', '.join(args.ignore_cache)))