diff options
Diffstat (limited to 'lang/clips')
| -rw-r--r-- | lang/clips/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/clips/Makefile b/lang/clips/Makefile index a91d6e1e2605..40b6e62a30ae 100644 --- a/lang/clips/Makefile +++ b/lang/clips/Makefile @@ -16,7 +16,7 @@ EXTRACT_SUFX= .tgz MAINTAINER= ports@dougdidit.com COMMENT= CLIPS is a productive development and delivery expert system tool -USE_AUTOCONF= yes +USE_AUTOCONF_VER= 213 WRKSRC= ${WRKDIR}/${PORTNAME}${PORTVERSION} USE_GMAKE= yes INSTALLS_SHLIB= yes |