matita.conf.xml.sample now has a @@OWNER@@ so that sed is easy

diff --git a/helm/matita/matita.conf.xml.sample b/helm/matita/matita.conf.xml.sample
index a425dba55afa8f733fbe9a679a655920413f8eae..48d6fc206ef92d7d22b4052f663363226cf67094 100644 (file)
--- 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 7f2d4308f904e7ec9eb156c36f70c9125665c130..8659223236015e2bd71f8a08b795c23db30f4fc8 100755 (executable)
--- 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