- populate boot server repository after successful build, even for non-nightly
authorMark Huang <mlhuang@cs.princeton.edu>
Wed, 1 Dec 2004 03:23:48 +0000 (03:23 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Wed, 1 Dec 2004 03:23:48 +0000 (03:23 +0000)
commitc9dab8384b65c9cd6a57e2dc4be141052d33a4f1
tree9457b7747f9296d6e9b2ff3c91ddb5038d023a13
parent1794a288999ee3a937e2509423df392603f3f59e
- populate boot server repository after successful build, even for non-nightly
  builds. Only nightly builds update the symlink, though.
build.sh