diff options
Diffstat (limited to 'devel/splint/files/patch-src::Makefile.in')
| -rw-r--r-- | devel/splint/files/patch-src::Makefile.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/splint/files/patch-src::Makefile.in b/devel/splint/files/patch-src::Makefile.in deleted file mode 100644 index 5ca489b2b2f4..000000000000 --- a/devel/splint/files/patch-src::Makefile.in +++ /dev/null @@ -1,11 +0,0 @@ ---- src/Makefile.in.orig Sat Feb 23 16:59:27 2002 -+++ src/Makefile.in Sat Feb 23 17:00:02 2002 -@@ -603,7 +603,7 @@ - p1=`echo $$p|sed 's/$(EXEEXT)$$//'`; \ - if test -f $$p \ - ; then \ -- f=`echo $$p1|sed '$(transform);s/$$/$(EXEEXT)/'`; \ -+ f=splint; \ - echo " $(INSTALL_PROGRAM_ENV) $(INSTALL_PROGRAM) $$p $(DESTDIR)$(bindir)/$$f"; \ - $(INSTALL_PROGRAM_ENV) $(INSTALL_PROGRAM) $$p $(DESTDIR)$(bindir)/$$f; \ - else :; fi; \ |