From 2912bd1ca199b9561cda839c97221b397abefaec Mon Sep 17 00:00:00 2001
From: Mike Swanson <mikeonthecomputer@gmail.com>
Date: Tue, 7 Jan 2014 07:07:19 -0800
Subject: [PATCH] Makefile: don't error out with rmdir failures

rmdir exits with an error status if a directory doesn't exist or is
non-empty. Let's tell make to ignore such things from it.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 986d347a..453d4285 100644
--- a/Makefile
+++ b/Makefile
@@ -138,7 +138,7 @@ clean:
 		./textures/freedm/pnames.txt \
 		./textures/freedm/texture1.txt \
 		./textures/texture1.txt
-	rmdir $(WADS) textures/doom textures/doom2 textures/freedm
+	-rmdir $(WADS) textures/doom textures/doom2 textures/freedm
 
 	make -C lumps clean
 	make -C graphics/text clean