- make -C $1 all opt 1>/dev/null 2>/dev/null
- make -C $2 matitac matitac.opt 1>/dev/null 2>/dev/null
+ OLD=$PWD
+ cd $1
+ autoconf 1>/dev/null
+ ./configure 1>/dev/null
+ make all opt 1>/dev/null
+ cd $2
+ autoconf 1>/dev/null
+ ./configure 1>/dev/null
+ make matitac matitac.opt updater 1>/dev/null
+ sed "s/@@OWNER@@/profiler/" matita.conf.xml.sample | sed "s/@@PREFETCH@@/false/" > matita.conf.xml
+ ./updater
+ cd $OLD