diff options
author | Jelmer Vernooij <jelmer@samba.org> | 2012-02-29 12:50:00 +0100 |
---|---|---|
committer | Jelmer Vernooij <jelmer@samba.org> | 2012-02-29 12:50:00 +0100 |
commit | 9cb7942d7429b185e6a80352ea015375eb203ca9 (patch) | |
tree | ed849529d3e96d24a6cfd1287aeacfa186542598 /exporters/darcs/t/bench-tailor.sh | |
parent | f4165c0c842c7b80f33b93832c3b0fcc2cc95c8a (diff) | |
parent | 501697d4089bd97f545c546a174cbda48d0ce235 (diff) | |
download | bzr-fastimport-9cb7942d7429b185e6a80352ea015375eb203ca9.tar.gz |
Merge removal of exporters.
Diffstat (limited to 'exporters/darcs/t/bench-tailor.sh')
-rw-r--r-- | exporters/darcs/t/bench-tailor.sh | 59 |
1 files changed, 0 insertions, 59 deletions
diff --git a/exporters/darcs/t/bench-tailor.sh b/exporters/darcs/t/bench-tailor.sh deleted file mode 100644 index 7567f7b..0000000 --- a/exporters/darcs/t/bench-tailor.sh +++ /dev/null @@ -1,59 +0,0 @@ -#!/bin/sh - -create_config() -{ - cd $1 - mypath=$(pwd) - cd - >/dev/null - myname=$(basename $mypath) - - cat > config << EOF -[DEFAULT] -encoding-errors-policy = replace - -[$myname] -source = darcs:$myname -target = git:$myname - -[darcs:$myname] -subdir = darcs -repository = $mypath - -[git:$myname] -subdir = git -repository = $mypath.git -EOF -} - -PATH=$HOME/darcs/tailor:$PATH -if [ ! -d darcs-benchmark ]; then - darcs get http://code.haskell.org/darcs/darcs-benchmark - cd darcs-benchmark -else - cd darcs-benchmark - darcs pull -a -fi -sh initialise.sh -cd big-zoo -if [ -n "$1" ]; then - targets=$1 -else - targets=*_play.tar.gz -fi -for i in $targets -do - echo "benchmarking $i" - rm -rf _playground - tar xf $i - cd _playground - log="../$i.tailor-$(tailor --version).log" - create_config sandbox - sh -c 'time tailor --configfile config' 2>&1 |tee $log - if diff --exclude _darcs --exclude .git -Nur sandbox git >/dev/null; then - echo "ok, the result is correct" >> $log - else - echo "ouch, the result is corrupted" >> $log - exit 1 - fi - cd .. -done |