diff options
Diffstat (limited to 'lib/Makefile.profile')
| -rw-r--r-- | lib/Makefile.profile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/lib/Makefile.profile b/lib/Makefile.profile new file mode 100644 index 00000000..8cb197aa --- /dev/null +++ b/lib/Makefile.profile @@ -0,0 +1,16 @@ +all:: profiled $(LIBRARY)_p.a + +subdirs:: profiled + +profiled: + mkdir profiled + +clean:: + $(RM) -rf profiled + +$(LIBRARY)_p.a: $(OBJS) + (if test -r $@; then $(RM) -f $@.bak && $(MV) $@ $@.bak; fi) + (cd profiled; $(ARUPD) ../$@ $(OBJS)) + -$(RANLIB) $@ + $(RM) -f ../$@ + $(LN) $@ ../$@ |