no longer 'pushd BootManager' due to wacky build environment
authorMarc Fiuczynski <mef@cs.princeton.edu>
Wed, 5 Dec 2007 19:05:18 +0000 (19:05 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Wed, 5 Dec 2007 19:05:18 +0000 (19:05 +0000)
commit22e6d01c6571908808712112a0624d10603e48e8
tree7865dd1880a961fcf47854596bf0bd825bdb729e
parente2349f7f8cb6991d891a8280ffbf42a8e723c888
no longer 'pushd BootManager' due to wacky build environment
bootmanager.spec