From 01faf31d70a945510a6cf8f3ec8dd785e9d632e1 Mon Sep 17 00:00:00 2001 From: Jesse Luehrs Date: Sat, 3 Nov 2018 17:17:01 -0400 Subject: make `make clean` not throw errors --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 25e7ddc..e949655 100644 --- a/Makefile +++ b/Makefile @@ -80,7 +80,7 @@ ECHO = @echo LN = @ln -sf MKDIR = @mkdir -p RM = @rm -f -RMDIR = @rmdir -p +RMDIR = @rmdir -p --ignore-fail-on-non-empty # named targets -- cgit v1.2.3-54-g00ecf