From febe384a0b213e589d8239821adfa134e4627d3f Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 20 Oct 2020 02:37:51 -0700 Subject: [PATCH] [sledge] Minor clean test Makefile Reviewed By: ngorogiannis Differential Revision: D24306045 fbshipit-source-id: 47e0bf6a4 --- sledge/test/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sledge/test/Makefile b/sledge/test/Makefile index be636fd39..732fba038 100644 --- a/sledge/test/Makefile +++ b/sledge/test/Makefile @@ -246,7 +246,7 @@ cleanbc: # remove result files cleanout: - @find -L * -not -path 'baseline/*' -name "*.sexp" -or -name "*.out" -or -name '*.err' -or -name '*.llair' -or -name '*.llair.txt' \ + @find -L * -not -path 'baseline/*' -name "*.sexp" -or -name "*.out" -or -name '*.err' -or -name '*.llair' -or -name '*.llair.txt' \ | xargs rm -f clean: cleanbc cleanout