From cc8cc96175a852cb17eeed6d6a989eb5f6f834c2 Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Sun, 14 Oct 2007 18:28:27 +0000
Subject: [PATCH] pushd to BootManager rather than bootmanager due to module
 renaming.

---
 bootmanager.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bootmanager.spec b/bootmanager.spec
index dbdcbad..07dff5f 100644
--- a/bootmanager.spec
+++ b/bootmanager.spec
@@ -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}/
-- 
2.43.0