Module Name:	pkgsrc
Committed By:	jtb
Date:		Sat Mar 31 18:10:47 UTC 2001

Modified Files:
	pkgsrc/math/otter: Makefile

Log Message:
Otter doesn't respect CFLAGS because -O2 optimization causes the program
to malfunction.  While here, change COMMENT to "Automated Deduction System".


To generate a diff of this commit:
cvs rdiff -r1.2 -r1.3 pkgsrc/math/otter/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.