gen_config.py: automatically flush target feeds

Signed-off-by: John Crispin <john@phrozen.org>
This commit is contained in:
John Crispin
2023-10-03 07:22:49 +02:00
parent dba8d27d19
commit ad6f4241c4

View File

@@ -230,7 +230,7 @@ index 0000000000..610d5b517a
+ else: + else:
+ profile = merge_profiles(sys.argv[1:]) + profile = merge_profiles(sys.argv[1:])
+ +
+ if run(["rm", "-rf", "feeds/", "package/feeds"]).returncode: + if run(["rm", "-rf", "feeds/", "package/feeds", "target/linux/feeds" ]).returncode:
+ die("Failed to delete old feeds") + die("Failed to delete old feeds")
+ +
+ print("Using the following profiles:") + print("Using the following profiles:")