Adding bootstrapping testing script to Makefile
authorandy@galois.com <unknown>
Sun, 14 Oct 2007 17:34:49 +0000 (17:34 +0000)
committerandy@galois.com <unknown>
Sun, 14 Oct 2007 17:34:49 +0000 (17:34 +0000)
commit3091e806255111c6650559dc4a5011e16aa0381b
tree1df4c4c9dd2861995db97e415bf1b864b8892fbc
parent67f832d72ab8ca3c23918fef97d9b46679e7019b
Adding bootstrapping testing script to Makefile
tests/Makefile