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)