From 04ca8c100b8daccc7e8433ec95bff121e4d68aac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Wed, 6 May 2015 21:57:33 +0200
Subject: Rename build folder to jobfiles

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 6bb3341..5f44e10 100644
--- a/Makefile
+++ b/Makefile
@@ -58,7 +58,7 @@ clean:
 	@$(MAKE) -C scripts/write_config clean
 	@if [ -e scripts/picosat-959/makefile ]; then $(MAKE) -C scripts/picosat-959 clean; fi
 	$(RM) .conf.mk
-	$(RM) -r build
+	$(RM) -r jobfiles
 	$(RM) $(NBSCRIPT)
 
 distclean: clean distclean_linux distclean_buildroot
-- 
cgit v1.2.3