- If run under sudo, allow user to delete the build directory
authorMark Huang <mlhuang@cs.princeton.edu>
Thu, 1 Sep 2005 17:36:54 +0000 (17:36 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Thu, 1 Sep 2005 17:36:54 +0000 (17:36 +0000)

No differences found