Re: branching updates

[John Darrington]

On Fri, Oct 10, 2008 at 04:06:39PM +0800, john wrote:
     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?
     

A clean "git clone" followed by make -f Smake ; ./configure ; make
check worked fine for me.

Can you double check your end.

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