diff options
Diffstat (limited to 'RTEMS_Makefiles/Makefile.readline-4.3')
-rw-r--r-- | RTEMS_Makefiles/Makefile.readline-4.3 | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/RTEMS_Makefiles/Makefile.readline-4.3 b/RTEMS_Makefiles/Makefile.readline-4.3 deleted file mode 100644 index 36644d2..0000000 --- a/RTEMS_Makefiles/Makefile.readline-4.3 +++ /dev/null @@ -1,18 +0,0 @@ -include ../RTEMS_Makefiles/Makefile.common - -# -# Running make distclean cleans up documentation files that require -# special tools to regenerate. Work around this problem by just -# copying the documentation files from another directory. -# -all: - bash_cv_have_mbstate_t=yes ./configure \ - --host=$(RTEMS_CPU)-rtems \ - --prefix=$(exec_prefix) \ - --libdir=$(exec_prefix)/$(RTEMS_BSP)/lib \ - --includedir=$(exec_prefix)/$(RTEMS_BSP)/lib/include \ - --disable-shared - cp ../readline-doc-4.3/doc/????* doc - make - cd doc ; make - make install |