diff options
Diffstat (limited to 'src/Make.common')
| -rw-r--r-- | src/Make.common | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Make.common b/src/Make.common index 34d7016f4..0b27d07f9 100644 --- a/src/Make.common +++ b/src/Make.common @@ -6,13 +6,13 @@ clean: rm -rf *.o *.a *.[$(OS)] [$(OS)].out $(CLEANFILES) install.clean: install - rm -rf *.o *.a *.[$(OS)] [$(OS)].out $(CLEANFILES) + rm -rf *.o *.a *.[$(OS)] [$(OS)].out $(CLEANFILES) || true test.clean: test - rm -rf *.o *.a *.[$(OS)] [$(OS)].out $(CLEANFILES) + rm -rf *.o *.a *.[$(OS)] [$(OS)].out $(CLEANFILES) || true testshort.clean: testshort - rm -rf *.o *.a *.[$(OS)] [$(OS)].out $(CLEANFILES) + rm -rf *.o *.a *.[$(OS)] [$(OS)].out $(CLEANFILES) || true %.make: $(MAKE) -C $* install |