Rename to use MyPLC rather than myplc.
authorMarc Fiuczynski <mef@cs.princeton.edu>
Mon, 22 Oct 2007 17:31:18 +0000 (17:31 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Mon, 22 Oct 2007 17:31:18 +0000 (17:31 +0000)
(I'm not sure renaming is helping us. :)

build.sh

index 937dade..665fc2b 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -139,8 +139,8 @@ else
     svn checkout ${SVNPATH}/${MODULE}/${TAG} ${BASE}
 
     # Build myplc-devel-native, install it to ensure we've got the right packages, and let it rip
-    make TAG=${TAG} PLDISTRO=${PLDISTRO} -C ${BASE} BASE=$BASE BUILDS=$BUILDS myplc-devel-native
-    sudo yum -y localinstall RPMS/i386/myplc-devel-native-*.*.rpm 
+    make TAG=${TAG} PLDISTRO=${PLDISTRO} -C ${BASE} BASE=$BASE BUILDS=$BUILDS MyPLC-devel-native
+    sudo yum -y localinstall RPMS/i386/MyPLC-devel-native-*.*.rpm 
 
     # Build everything
     make TAG=${TAG} PLDISTRO=${PLDISTRO} -C ${BASE} BASE=$BASE BUILDS=$BUILDS