Change pushd ops to use MyPLC rather than myplc, because we renamed the module.
authorMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 9 Oct 2007 17:40:11 +0000 (17:40 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 9 Oct 2007 17:40:11 +0000 (17:40 +0000)
myplc.spec

index 509023b..51d6701 100644 (file)
@@ -27,14 +27,14 @@ system.
 %setup -q
 
 %build
-pushd myplc
+pushd MyPLC
 ./build.sh
 popd
 
 %install
 rm -rf $RPM_BUILD_ROOT
 
-pushd myplc
+pushd MyPLC
 
 #
 # myplc