pushd to BootManager rather than bootmanager due to module renaming.
authorMarc Fiuczynski <mef@cs.princeton.edu>
Sun, 14 Oct 2007 18:28:27 +0000 (18:28 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Sun, 14 Oct 2007 18:28:27 +0000 (18:28 +0000)
bootmanager.spec

index dbdcbad..07dff5f 100644 (file)
@@ -29,7 +29,7 @@ nodes.
 %setup -q
 
 %build
-pushd bootmanager
+pushd BootManager
 
 ./build.sh
 pushd support-files
@@ -41,7 +41,7 @@ popd
 %install
 rm -rf $RPM_BUILD_ROOT
 
-pushd bootmanager
+pushd BootManager
 
 # Install source so that it can be rebuilt
 find build.sh source | cpio -p -d -u $RPM_BUILD_ROOT/%{_datadir}/%{name}/