- filesystem.rpm fails to install if /tmp, /usr/tmp, or /var/tmp already
authorMark Huang <mlhuang@cs.princeton.edu>
Thu, 2 Nov 2006 17:36:34 +0000 (17:36 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Thu, 2 Nov 2006 17:36:34 +0000 (17:36 +0000)
commit8a54569aa10e5c44dd8e771968cd59e0537e6de6
tree182a5a73298a873483d666ccb66ded830903059c
parent8836fe610eadb90c78fcb192a0c318fe7cb2039c
- filesystem.rpm fails to install if /tmp, /usr/tmp, or /var/tmp already
  exist
build.sh