diff options
Diffstat (limited to 'Makefile.main')
| -rw-r--r-- | Makefile.main | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.main b/Makefile.main index c45eff5..094a8fc 100644 --- a/Makefile.main +++ b/Makefile.main @@ -149,9 +149,13 @@ include $(SRC)/$(DEVSRC)/Makefile.inc # hack for travis-ci and coverity gard: (cd external/gard; make) + pflash: (cd external/pflash; make) +pflash-coverity: + (cd external/pflash; ./build-all-arch.sh) + all: $(SUBDIRS) $(TARGET).lid $(TARGET).map extract-gcov OBJS := $(ASM) $(CORE) $(HW) $(PLATFORMS) $(LIBFDT) $(LIBFLASH) |