diff options
author | 2012-10-16 08:03:11 -0700 | |
---|---|---|
committer | 2012-10-16 13:28:49 -0700 | |
commit | 2448ce179da8168bf4175d00f52c9c59e52f3880 (patch) | |
tree | 039f0ccfd68e0a308fcc7f93d01f3a40e348f2d9 /create-git.sh | |
parent | abuse mmap to save on memory churn (diff) | |
download | git-conversion-tools-2448ce179da8168bf4175d00f52c9c59e52f3880.tar.gz git-conversion-tools-2448ce179da8168bf4175d00f52c9c59e52f3880.tar.bz2 git-conversion-tools-2448ce179da8168bf4175d00f52c9c59e52f3880.zip |
Minor bit of speedups; use sed instead of whacky python script, add time'ing for git fast import
Diffstat (limited to 'create-git.sh')
-rwxr-xr-x | create-git.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/create-git.sh b/create-git.sh index 4fa47e5..79847b5 100755 --- a/create-git.sh +++ b/create-git.sh @@ -49,7 +49,7 @@ time { "${root}/rewrite-commit-dump.py" | \ ( read line; { echo "$line"; cat; } | \ tee ../export-stream-rewritten |\ - git fast-import + time git fast-import ) } 2>&1 > >(tee git-creation.log) ret=$? |