diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-05-20 11:06:43 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-05-20 11:06:43 +0200 |
| commit | 882325accf37d7868e48ceee7cfe8d9c2447cff9 (patch) | |
| tree | b6c40548c0d7830812801d87609cc077aad56f4f | |
| parent | 1f03ca6d0f0c82b45c2e7c658a0c36100e24349f (diff) | |
| download | linux-conf-perf-882325accf37d7868e48ceee7cfe8d9c2447cff9.tar.gz linux-conf-perf-882325accf37d7868e48ceee7cfe8d9c2447cff9.tar.bz2 linux-conf-perf-882325accf37d7868e48ceee7cfe8d9c2447cff9.zip | |
Fix Makefile clean
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |