From 0f9bfa7c64656e15668c8a54a685e4aef7fd4a37 Mon Sep 17 00:00:00 2001 From: Fotis Koutoulakis Date: Sun, 21 Feb 2021 00:10:29 +0000 Subject: [PATCH] Fix Makefile clean target deleting the correct file. --- regression/goto-gcc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/regression/goto-gcc/Makefile b/regression/goto-gcc/Makefile index 455989201c6..f490a908f8b 100644 --- a/regression/goto-gcc/Makefile +++ b/regression/goto-gcc/Makefile @@ -39,4 +39,4 @@ clean: find -name '*.out' -execdir $(RM) '{}' \; find -name '*.gb' -execdir $(RM) '{}' \; find -name '*.goto-cc-saved' -execdir $(RM) '{}' \; - $(RM) tests.log archives/lib_ourarchive.a archives/foo.o + $(RM) tests.log archives/libour_archive.a archives/foo.o