aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-05-20 11:06:43 +0200
committerKarel Kočí <cynerd@email.cz>2015-05-20 11:06:43 +0200
commit882325accf37d7868e48ceee7cfe8d9c2447cff9 (patch)
treeb6c40548c0d7830812801d87609cc077aad56f4f
parent1f03ca6d0f0c82b45c2e7c658a0c36100e24349f (diff)
downloadlinux-conf-perf-882325accf37d7868e48ceee7cfe8d9c2447cff9.tar.gz
linux-conf-perf-882325accf37d7868e48ceee7cfe8d9c2447cff9.tar.bz2
linux-conf-perf-882325accf37d7868e48ceee7cfe8d9c2447cff9.zip
Fix Makefile clean
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 5e99826..71461b4 100644
--- a/Makefile
+++ b/Makefile
@@ -61,7 +61,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 jobfiles
+ $(RM) -r jobfiles output result
$(RM) $(NBSCRIPT)
distclean: clean distclean_linux distclean_buildroot