From efc0a7cca603c539e3f297f690c595df751d0dc3 Mon Sep 17 00:00:00 2001
From: Bernard Ogden <bernie.ogden@linaro.org>
Date: Fri, 5 Jun 2015 18:06:57 +0100
Subject: Delete the right thing when installing git-new-workdir

Change-Id: I1a131825f076c7f4a7bb8fab478e990240ee6b9f
---
 benchmark.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
cgit v1.2.3