From 9bc49fb16f57997badef9f1735490f3a86af384e Mon Sep 17 00:00:00 2001 From: Jaap Eldering Date: Mon, 16 Sep 2024 06:05:29 +0200 Subject: [PATCH] Allow make clean removing files to fail These files might not exist for various reasons, such as a partial install or previous inplace install. They might also have wrong permissions, for example, when they were installed as root. --- Makefile | 4 ++-- misc-tools/Makefile | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 8584274dec8..16e154591b8 100644 --- a/Makefile +++ b/Makefile @@ -292,8 +292,8 @@ inplace-postinstall-nginx: inplace-postinstall-permissions # Removes created symlinks; generated logs, submissions, etc. remain in output subdir. inplace-uninstall-l: - rm -rf $(judgehost_libjudgedir) - rm -rf $(judgehost_bindir) + -rm -rf $(judgehost_libjudgedir) + -rm -rf $(judgehost_bindir) # Rules to configure and build for a Coverity scan. coverity-conf: diff --git a/misc-tools/Makefile b/misc-tools/Makefile index 883a3245388..0584b2d22c7 100644 --- a/misc-tools/Makefile +++ b/misc-tools/Makefile @@ -43,7 +43,7 @@ inplace-install-l: inplace-uninstall-l: # bindir gets removed from the main Makefile - rm -f $(domserver_libdir)/dj_utils.py + -rm -f $(domserver_libdir)/dj_utils.py clean-l: -rm -f $(TARGETS) $(OBJECTS)