summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBernard Ogden <bernie.ogden@linaro.org>2015-06-05 18:06:57 +0100
committerBernard Ogden <bernie.ogden@linaro.org>2015-06-05 18:06:57 +0100
commitefc0a7cca603c539e3f297f690c595df751d0dc3 (patch)
tree8b206b0e2a1affa1409ba070c184b8595e6f2551
parentcd9915305236060a151fd5ec521df9f0d27b1a21 (diff)
Delete the right thing when installing git-new-workdir
Change-Id: I1a131825f076c7f4a7bb8fab478e990240ee6b9f
-rw-r--r--benchmark.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/benchmark.sh b/benchmark.sh
index 5e44863..f672081 100644
--- a/benchmark.sh
+++ b/benchmark.sh
@@ -7,7 +7,7 @@ if ! ssh-add -l; then
exit 1
fi
-rm -f /usr/share/doc/git/contrib/workdir/git-new-workdir
+rm -f /usr/local/bin/git-new-workdir
ln /usr/share/doc/git/contrib/workdir/git-new-workdir /usr/local/bin
chmod 755 /usr/local/bin/git-new-workdir