1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-30 17:01:19 +01:00

Merge pull request #8799 from kaspar030/fix_tests_shell

tests/shell: disable DEVELHELP
This commit is contained in:
Martine Lenders 2018-03-19 16:20:55 +00:00 committed by GitHub
commit 565341c9fd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,3 +1,4 @@
DEVELHELP=0
include ../Makefile.tests_common
USEMODULE += shell