equal
deleted
inserted
replaced
473 share the same server |
473 share the same server |
474 $ cp $HGRCPATH.orig $HGRCPATH |
474 $ cp $HGRCPATH.orig $HGRCPATH |
475 $ hg init $TESTTMP/profiling |
475 $ hg init $TESTTMP/profiling |
476 $ cd $TESTTMP/profiling |
476 $ cd $TESTTMP/profiling |
477 $ filteredchg() { |
477 $ filteredchg() { |
478 > CHGDEBUG=1 chg "$@" 2>&1 | egrep 'Sample count|start cmdserver' || true |
478 > CHGDEBUG=1 chg "$@" 2>&1 | sed -rn 's_^No samples recorded.*$_Sample count: 0_; /Sample count/p; /start cmdserver/p' |
479 > } |
479 > } |
480 $ newchg() { |
480 $ newchg() { |
481 > chg --kill-chg-daemon |
481 > chg --kill-chg-daemon |
482 > filteredchg "$@" | egrep -v 'start cmdserver' || true |
482 > filteredchg "$@" | egrep -v 'start cmdserver' || true |
483 > } |
483 > } |