diff options
-rw-r--r-- | core/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/core/Makefile b/core/Makefile index b87007f3..46cb037c 100644 --- a/core/Makefile +++ b/core/Makefile @@ -162,6 +162,8 @@ NASM_ELF = elf -E --hash-style=gnu -M -o $@ $< \ --start-group $(LIBS) $(subst $(*F).elf,lib$(*F).a,$@) --end-group \ > $(@:.elf=.map) + if [ `$(NM) -D -u $@ | wc -l` -ne 0 ]; then \ + $(NM) -D -u $@ 1>&2; rm -f $@; false; fi $(OBJDUMP) -h $@ > $(@:.elf=.sec) $(PERL) $(SRC)/lstadjust.pl $(@:.elf=.lsr) $(@:.elf=.sec) $(@:.elf=.lst) |