From 1f6509593d89bf91237cceb1ace0be4fdbf4335c Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 24 Jun 2005 09:01:30 +0000
Subject: [PATCH] matita.conf.xml.sample now has a @@OWNER@@ so that sed is
 easy

---
 helm/matita/matita.conf.xml.sample | 2 +-
 helm/matita/scripts/profile_cvs.sh | 9 +++++----
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/helm/matita/matita.conf.xml.sample b/helm/matita/matita.conf.xml.sample
index a425dba55..48d6fc206 100644
--- a/helm/matita/matita.conf.xml.sample
+++ b/helm/matita/matita.conf.xml.sample
@@ -5,7 +5,7 @@
     <key name="environment_trust">true</key>
     <key name="baseuri">cic:/matita/</key>
     <key name="basedir">.matita/xml</key>
-    <key name="owner">mario</key>
+    <key name="owner">@@OWNER@@</key>
 <!--     <key name="font_size">10</key> -->
     <key name="tactics_bar">false</key>
   </section>
diff --git a/helm/matita/scripts/profile_cvs.sh b/helm/matita/scripts/profile_cvs.sh
index 7f2d4308f..865922323 100755
--- a/helm/matita/scripts/profile_cvs.sh
+++ b/helm/matita/scripts/profile_cvs.sh
@@ -23,6 +23,7 @@ function compile {
   autoconf 1>/dev/null
   ./configure 1>/dev/null
   make matitac matitac.opt updater 1>/dev/null
+  sed "s/@@OWNER@@/profiler/" matita.conf.xml.sample > matita.conf.xml
   ./updater
   cd $OLD
 }
@@ -39,11 +40,11 @@ function run_tests {
   cd $OLD
 }
 
-#rm -rf $TMPDIRNAME
-#mkdir $TMPDIRNAME
+rm -rf $TMPDIRNAME
+mkdir $TMPDIRNAME
 cd $TMPDIRNAME
-#cvs -d $CVSROOT co helm/ocaml 1>/dev/null 2>/dev/null
-#cvs -d $CVSROOT co helm/matita 1>/dev/null 2>/dev/null
+cvs -d $CVSROOT co helm/ocaml 1>/dev/null 2>/dev/null
+cvs -d $CVSROOT co helm/matita 1>/dev/null 2>/dev/null
 compile $PWD/helm/ocaml $PWD/helm/matita
 run_tests $PWD/helm/matita #> LOG
 #rm -rf $TMPDIRNAME
-- 
2.39.2