From a75a574ec3d227d29eb6c8beb7cd892c3242f714 Mon Sep 17 00:00:00 2001 From: Jonathon Reinhart Date: Sun, 17 Dec 2023 22:07:32 -0500 Subject: [PATCH] Make clean with rm -f (#233) --- Makefile | 2 +- scubainit/Makefile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 2049a8ee..8b7eb62e 100644 --- a/Makefile +++ b/Makefile @@ -8,4 +8,4 @@ scuba/scubainit: .PHONY: clean clean: make -C scubainit clean - rm scuba/scubainit + rm -f scuba/scubainit diff --git a/scubainit/Makefile b/scubainit/Makefile index 7bc18a5b..1d14c6e7 100644 --- a/scubainit/Makefile +++ b/scubainit/Makefile @@ -6,4 +6,4 @@ scubainit: scubainit.c .PHONY: clean clean: - rm scubainit + rm -f scubainit