merge from HEAD

[myplc.git] / build.sh

diff --git a/build.sh b/build.sh
index bbd08c3..eb01732 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -16,7 +16,7 @@
 # Marc E. Fiuczynski <mef@cs.princeton.edu>
 # Copyright (C) 2006-2007 The Trustees of Princeton University
 #
-# $Id: build.sh,v 1.41 2007/08/22 02:04:56 faiyaza Exp $
+# $Id:$
 #
 
 . build.functions