Subject: CVS commit: pkgsrc
To: None <email@example.com>
From: Jason Beegan <firstname.lastname@example.org>
Date: 03/31/2001 21:10:48
Module Name: pkgsrc
Committed By: jtb
Date: Sat Mar 31 18:10:47 UTC 2001
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.