Change pushd from myplc to MyPLC due to module renaming.
authorMarc Fiuczynski <mef@cs.princeton.edu>
Wed, 17 Oct 2007 07:21:25 +0000 (07:21 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Wed, 17 Oct 2007 07:21:25 +0000 (07:21 +0000)
myplc-devel.spec

index 78405ee..0520aa5 100644 (file)
@@ -24,14 +24,14 @@ all the tools necessary to compile MyPLC.
 %setup -q
 
 %build
-pushd myplc
+pushd MyPLC
 ./build_devel.sh
 popd
 
 %install
 rm -rf $RPM_BUILD_ROOT
 
-pushd myplc
+pushd MyPLC
 
 # Install host startup script and configuration file
 install -D -m 755 host.init $RPM_BUILD_ROOT/%{_sysconfdir}/init.d/plc-devel