Subject: CVS commit: pkgsrc
To: None <>
From: Jason Beegan <>
List: pkgsrc-changes
Date: 03/31/2001 21:10:48
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.