diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-05-06 21:57:33 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-05-06 21:57:33 +0200 |
| commit | 04ca8c100b8daccc7e8433ec95bff121e4d68aac (patch) | |
| tree | 47cfc3a401f08806c25d7d333f07c570ae4c5820 /Makefile | |
| parent | 86eb35073eaf733db725647eb7429da22d4d365a (diff) | |
| download | linux-conf-perf-04ca8c100b8daccc7e8433ec95bff121e4d68aac.tar.gz linux-conf-perf-04ca8c100b8daccc7e8433ec95bff121e4d68aac.tar.bz2 linux-conf-perf-04ca8c100b8daccc7e8433ec95bff121e4d68aac.zip | |
Rename build folder to jobfiles
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |