RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Code Releases Activity

Merge pull request #10235 from cladmi/pr/make/buildtest/correctly_clean

Browse Source 
makefiles/buildtests.inc.mk: fix 'clean-intermediates' not cleaning
This commit is contained in:
José Alamos 2018-10-24 13:01:41 +02:00 committed by GitHub
commit 90d15d1fcd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
makefiles/buildtests.inc.mk
View File

@ -20,7 +20,7 @@ buildtest:
$(COLOR_ECHO) "$(COLOR_RED)failed!$(COLOR_RESET)" ; \
RESULT=false ; \
fi ; \
$(MAKE) clean-intermediates >/dev/null 2>&1 || true; \
BOARD=$${board} $(MAKE) clean-intermediates >/dev/null 2>&1 || true; \
fi; \
done ; \
$${RESULT}