- merge revision 1.35
authorMark Huang <mlhuang@cs.princeton.edu>
Thu, 6 Jul 2006 14:58:14 +0000 (14:58 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Thu, 6 Jul 2006 14:58:14 +0000 (14:58 +0000)
commita3a2102811bfba009acb79bafc4c47bf8effb7f5
tree9b981fd7584dee21215f1775f6352272a61b08f4
parentb3bdd8b080d15aaac5db869d30f68d58ecea0a89
- merge revision 1.35
- checkout instead of export so that we don't have to modify the
  Makefiles on branches of the build repository
build.sh