179d897537
- Update devel/splint to 3.0.1.6 - Give maintainership to Raymond Medeiros <rrm@subterrain.net> for requesting in PR PR: 33788, 35247, 35474 Submitted by: KATO Tsuguru <tkato@prontomail.com>, Jeroen Ruigrok van der Werven <asmodai@wxs.nl>, Raymond Medeiros <rrm@subterrain.net> Repocopied by: joe Approved by: portmgr
11 lines
450 B
Text
11 lines
450 B
Text
--- 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; \
|