diff options
| author | Jacob McDonnell <jacob@jacobmcdonnell.com> | 2026-03-07 18:50:33 -0500 |
|---|---|---|
| committer | Jacob McDonnell <jacob@jacobmcdonnell.com> | 2026-03-07 18:50:33 -0500 |
| commit | 4b2389c51900e54c86bf0644790dd6eb02d62a72 (patch) | |
| tree | 58df229bb0aa9659b1631564f62fadb7c4e78572 /mk | |
| parent | 7f1386b7af49d1ec91d69b9ab2ba6c4c5b59f3d1 (diff) | |
fix: rm -f on generated header
Use rm -f on generated header incase the generated header file does not
exist.
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/mcd.Kconfig.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mk/mcd.Kconfig.mk b/mk/mcd.Kconfig.mk index e9df5cb..69b85ab 100644 --- a/mk/mcd.Kconfig.mk +++ b/mk/mcd.Kconfig.mk @@ -17,7 +17,7 @@ $(GENERATED_HEADER): $(wildcard .config) $(KCONFIGLIB_DIR)/genconfig.py --header-path $@ clean: - rm $(GENERATED_HEADER) + rm -rf $(GENERATED_HEADER) -include .config .PHONY: all menuconfig savedefconfig |