diff options
Diffstat (limited to '')
-rw-r--r-- | c/src/exec/score/tools/generic/Makefile.in | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/c/src/exec/score/tools/generic/Makefile.in b/c/src/exec/score/tools/generic/Makefile.in new file mode 100644 index 0000000000..f673545ea1 --- /dev/null +++ b/c/src/exec/score/tools/generic/Makefile.in @@ -0,0 +1,33 @@ +# +# $Id$ +# +# RTEMS build tools +# NOTE: of course we can't use any of these tools +# in this Makefile. Most notably: install-if-change +# + +@SET_MAKE@ +srcdir = @srcdir@ +top_srcdir = @top_srcdir@ +VPATH=@srcdir@ + +include $(RTEMS_CUSTOM) +include $(PROJECT_ROOT)/make/leaf.cfg + +DESTDIR=$(PROJECT_RELEASE)/bin + +PGMS=size_rtems + +INSTALLED=$(PGMS:%=$(DESTDIR)/%) + +all: $(DESTDIR) $(PGMS) install + echo $(DESTDIR) + +$(DESTDIR): + [ -d $@ ] || $(MKDIR) $@ + +install: $(INSTALLED) + +# Install the program +$(DESTDIR)/%: % + $(make-script) |