diff --git a/patches/0001-pending-scripts-add-gen_config.py.patch b/patches/0001-pending-scripts-add-gen_config.py.patch index 49e1db856..8d93d92a5 100644 --- a/patches/0001-pending-scripts-add-gen_config.py.patch +++ b/patches/0001-pending-scripts-add-gen_config.py.patch @@ -230,7 +230,7 @@ index 0000000000..610d5b517a + else: + 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") + + print("Using the following profiles:")