svn commit: r396509 - head/misc/otter

[Dmitry Marakasov]

Author: amdmi3
Date: Wed Sep  9 14:33:19 2015
New Revision: 396509
URL: https://svnweb.freebsd.org/changeset/ports/396509

Log:
  - Fix shebangs
  
  Approved by:	portmgr blanket
  MFH:		2015Q3 (blanket)

Modified:
  head/misc/otter/Makefile

Modified: head/misc/otter/Makefile
==============================================================================
--- head/misc/otter/Makefile	Wed Sep  9 14:31:35 2015	(r396508)
+++ head/misc/otter/Makefile	Wed Sep  9 14:33:19 2015	(r396509)
@@ -3,13 +3,16 @@
 
 PORTNAME=	otter
 PORTVERSION=	3.3f
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	misc
 MASTER_SITES=	http://www-unix.mcs.anl.gov/AR/otter/dist33/
 
 MAINTAINER=	wollman at FreeBSD.org
 COMMENT=	Theorem prover and finite model searcher
 
+USES=		shebangfix
+SHEBANG_FILES=	examples-mace2/Perl-examples/commute4_filter
+
 MAKE_ARGS=	CC="${CC}" CFLAGS="${CFLAGS}"
 
 PROGRAMS=	anldp mace2 otter