From 513645ace763aa9303a1df5b3d3c38956bce5f78 Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Mon, 26 Jan 2004 00:45:23 +0000 Subject: [PATCH] Remove the scratch directory when doing make clean. --- ansi-tests/makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ansi-tests/makefile b/ansi-tests/makefile index ca7f082c..be98a54d 100644 --- a/ansi-tests/makefile +++ b/ansi-tests/makefile @@ -25,4 +25,4 @@ random-acl-test: clean: - rm -f test.out *.fasl *.o *.so *~ *.fn *.x86f *.fasl *.ufsl *.fas *.lib \#*\# + rm -f test.out *.fasl *.o *.so *~ *.fn *.x86f *.fasl *.ufsl *.fas *.lib \#*\#; rm -rf scratch/ -- GitLab