diff options
| -rw-r--r-- | stubdom/vtpm/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stubdom/vtpm/Makefile b/stubdom/vtpm/Makefile index 37051c1ffb..316794c6bb 100644 --- a/stubdom/vtpm/Makefile +++ b/stubdom/vtpm/Makefile @@ -29,6 +29,6 @@ vtpm_manager.h: ln -s ../vtpmmgr/vtpm_manager.h vtpm_manager.h clean: - -rm $(TARGET) $(OBJS) vtpm_manager.h + rm -f $(TARGET) $(OBJS) vtpm_manager.h .PHONY: clean |