- change ownership of built files so that we can delete them later
authorMark Huang <mlhuang@cs.princeton.edu>
Thu, 1 Feb 2007 16:03:33 +0000 (16:03 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Thu, 1 Feb 2007 16:03:33 +0000 (16:03 +0000)
commit56f0eeef48075e9236f919939fb8bd197fb4292c
tree35a38494fc8360f9e51f306a73ee71a9340181b5
parentad6d274e29c72e66b11d29318ecb41e8c871adda
- change ownership of built files so that we can delete them later
build.sh