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

[helm.git] / helm / matita / scripts / profile_cvs.sh

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