From 69c37b702d4a086b5f226bedcd0e29081ea4494b Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Mon, 22 Oct 2007 17:31:18 +0000
Subject: [PATCH] Rename to use MyPLC rather than myplc.

(I'm not sure renaming is helping us. :)
---
 build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index 937dadee..665fc2b8 100755
--- 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
-- 
2.47.0