On Thu, Oct 09, 2008 at 11:08:56PM -0700, Ben Pfaff wrote:
After that, I merged the changes from stable into master and
updated master.
Unfortunately, master doesn't build now:
../src/language/tests/check-model.q:24:27: error:
model-checker.h: No such file or directory
John, you moved some model-checker files around, is this related?That seems very likely. I'll have a look at it. J' -- PGP Public key ID: 1024D/2DE827B3 fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3 See http://pgp.mit.edu or any PGP keyserver for public key.
signature.asc
Description: Digital signature
_______________________________________________ pspp-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/pspp-dev
