diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2006-05-09 20:52:24 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2006-05-09 20:52:24 +0000 |
| commit | 7c6393360c77c2798946364ff1f0ebaf63fc7601 (patch) | |
| tree | b674a614fc70a00481f49716d0d12fe947ce0ec7 /lang/hugs | |
| parent | 25c6186fcb062a0e76b303a4456ab8e3d11c721e (diff) | |
Notes
Diffstat (limited to 'lang/hugs')
| -rw-r--r-- | lang/hugs/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/hugs/Makefile b/lang/hugs/Makefile index da3a9687a3df..c00687014ac5 100644 --- a/lang/hugs/Makefile +++ b/lang/hugs/Makefile @@ -20,7 +20,6 @@ WRKSRC= ${WRKDIR}/${DISTNAME} #OPTIONS= HUGS_OPENGL "OpenGL/GLUT support" off WITH_HUGS_OPENGL= yes HUGS_DATE= Mar2005 -USE_REINPLACE= yes USE_BISON= yes USE_GMAKE= yes GNU_CONFIGURE= yes |