diff options
Diffstat (limited to 'tools/build/scripts/Makefile.in')
| -rw-r--r-- | tools/build/scripts/Makefile.in | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/tools/build/scripts/Makefile.in b/tools/build/scripts/Makefile.in deleted file mode 100644 index 753bfafaa5..0000000000 --- a/tools/build/scripts/Makefile.in +++ /dev/null @@ -1,36 +0,0 @@ -# -# $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@ -VPATH = @srcdir@ -RTEMS_ROOT = @top_srcdir@ -PROJECT_ROOT = @PROJECT_ROOT@ - -include $(RTEMS_ROOT)/make/custom/$(RTEMS_BSP).cfg -include $(RTEMS_ROOT)/make/leaf.cfg -include $(RTEMS_ROOT)/make/rtems.cfg - -DESTDIR=$(PROJECT_RELEASE)/build-tools - -BUILD_PGMS=install-if-change rcs-clean lock-directory unlock-directory -PGMS = $(BUILD_PGMS) search-id.sh - -CLEAN_ADDITIONS += $(BUILD_PGMS) - -INSTALLED_PGMS=$(PGMS:%=$(DESTDIR)/%) - -all: $(DESTDIR) $(PGMS) install - -$(DESTDIR): - @INSTALL@ $(INSTDIRFLAGS) $@ - -$(INSTALLED_PGMS): $(PGMS) - @INSTALL@ $(INSTBINFLAGS) $^ $(DESTDIR) - -install: $(DESTDIR) $(INSTALLED_PGMS) |