diff options
Diffstat (limited to '')
-rw-r--r-- | tools/build/os/Makefile.in | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/tools/build/os/Makefile.in b/tools/build/os/Makefile.in deleted file mode 100644 index 86e2497722..0000000000 --- a/tools/build/os/Makefile.in +++ /dev/null @@ -1,25 +0,0 @@ -# -# $Id$ -# - -@SET_MAKE@ -srcdir = @srcdir@ -top_srcdir = @top_srcdir@ -top_builddir = ../../.. -subdir = c/build-tools/os - -INSTALL = @INSTALL@ - -RTEMS_ROOT = $(top_srcdir)/@RTEMS_TOPdir@ -PROJECT_ROOT = @PROJECT_ROOT@ - -VPATH = @srcdir@ - -include $(RTEMS_ROOT)/make/custom/$(RTEMS_BSP).cfg -include $(RTEMS_ROOT)/make/directory.cfg - -SUB_DIRS=$(wildcard $(RTEMS_HOST)) - -Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status - cd $(top_builddir) \ - && CONFIG_FILES=$(subdir)/$@ CONFIG_HEADERS= $(SHELL) ./config.status |