- checkout instead of export so that we don't have to modify the
authorMark Huang <mlhuang@cs.princeton.edu>
Thu, 6 Jul 2006 14:57:50 +0000 (14:57 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Thu, 6 Jul 2006 14:57:50 +0000 (14:57 +0000)
commit54a33db7e580eb0459dc1fa6fa173849e18dfb16
tree563ae744332e444bfbafd85825c433d5e9ec315b
parent000c1fc67baf0a24b6d11ac20cb61d623cdde213
- checkout instead of export so that we don't have to modify the
  Makefiles on branches of the build repository
build.sh