diff options
Diffstat (limited to 'editors/thoteditor/files/patch-tools-Makefile.in')
| -rw-r--r-- | editors/thoteditor/files/patch-tools-Makefile.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/editors/thoteditor/files/patch-tools-Makefile.in b/editors/thoteditor/files/patch-tools-Makefile.in deleted file mode 100644 index c0cd3600e5a1..000000000000 --- a/editors/thoteditor/files/patch-tools-Makefile.in +++ /dev/null @@ -1,11 +0,0 @@ ---- ../tools/Makefile.in.orig Fri May 16 10:00:20 1997 -+++ ../tools/Makefile.in Sat Sep 25 12:16:00 1999 -@@ -24,7 +24,7 @@ - cd .. ; fi ;done ) - - install : -- @(for dir in $(SUBDIRS) ;\ -+ @(set -x;for dir in $(SUBDIRS) ;\ - do if test -d $$dir ; then cd $$dir ; \ - $(MAKE) CC="$(CC)" CFLAGS="$(CFLAGS)" install ; \ - cd .. ; fi ;done ) |