diff --git a/test/coverage/Makefile b/test/coverage/Makefile index df99c931c..82dda4737 100644 --- a/test/coverage/Makefile +++ b/test/coverage/Makefile @@ -80,8 +80,8 @@ ASRC = # List all user directories here UINCDIR = $(PORTINC) $(KERNINC) $(TESTINC) \ - $(HALINC) $(PLATFORMINC) $(BOARDINC) \ - $(CHIBIOS)/os/various + $(HALINC) $(PLATFORMINC) $(BOARDINC) \ + $(CHIBIOS)/os/various # List the user directory to look for the libraries here ULIBDIR =