From acff20c54e7a7804f1cb81aba8bca8d11fa0ed9a Mon Sep 17 00:00:00 2001
From: James Shubin <james@shubin.ca>
Date: Wed, 10 Feb 2016 17:35:51 -0500
Subject: [PATCH] Will this fix Jenkins?

---
 test/test-shell.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/test-shell.sh b/test/test-shell.sh
index 26eafee5..4a9ed613 100755
--- a/test/test-shell.sh
+++ b/test/test-shell.sh
@@ -10,7 +10,7 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && cd .. && pwd )"	# dir!
 cd "$DIR" >/dev/null	# work from main mgmt directory
 make build
 MGMT="$DIR/test/shell/mgmt"
-cp -a "$DIR/mgmt" "$MGMT"	# put a copy there
+cp -a "$DIR/mgmt" "$MGMT" || cp -a "$GOBIN/mgmt" "$MGMT"	# put a copy there
 failures=""
 count=0