diff options
Diffstat (limited to 'src/Makefile.housekeeping')
| -rw-r--r-- | src/Makefile.housekeeping | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/Makefile.housekeeping b/src/Makefile.housekeeping index bc4cb3c2..c7bb1540 100644 --- a/src/Makefile.housekeeping +++ b/src/Makefile.housekeeping @@ -46,6 +46,10 @@ CFLAGS += $(OLDGAS) oldgas : @echo $(oldgas) +# compiler.h is needed for our linking and debugging system +# +CFLAGS += -include compiler.h + # SRCDIRS lists all directories containing source files. srcdirs : @echo $(SRCDIRS) @@ -366,6 +370,18 @@ TAGS.$(ARCH) : ctags -e -R -f $@ $(foreach ARCH,$(OTHER_ARCHS),--exclude=arch/$(ARCH)) CLEANUP += TAGS* +# Force rebuild for any given target +# +$(BIN)/%.rebuild : + rm -f $(BIN)/$* + $(MAKE) $(MAKEFLAGS) $(BIN)/$* + +# Build a debugging version of an object +# +$(BIN)/%.o.dbg : + rm -f $(BIN)/$*.o + $(MAKE) $(MAKEFLAGS) EXTRA_CFLAGS+=-Ddebug_$* $(BIN)/$*.o + # Clean-up # clean : |