diff options
Diffstat (limited to 'misc/Makefile.in')
-rw-r--r-- | misc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/misc/Makefile.in b/misc/Makefile.in index 8a69855a..a798f961 100644 --- a/misc/Makefile.in +++ b/misc/Makefile.in @@ -100,6 +100,7 @@ COMPILE_ET=$(top_builddir)/lib/et/compile_et --build-tree .c.o: $(E) " CC $<" $(Q) $(CC) -c $(ALL_CFLAGS) $< -o $@ + $(Q) $(CHECK_CMD) $(ALL_CFLAGS) $< @PROFILE_CMT@ $(Q) $(CC) $(ALL_CFLAGS) -g -pg -o profiled/$*.o -c $< all:: profiled $(SPROGS) $(UPROGS) $(USPROGS) $(SMANPAGES) $(UMANPAGES) \ |