From 672d071cdf0ca1aa5d899e74c3473d69ce6ad442 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Sat, 11 Feb 2017 18:21:18 +0200
Subject: Drop using SSH_AGENT_PID as it's not needed

---
 check | 1 -
 1 file changed, 1 deletion(-)

diff --git a/check b/check
index 62ba0ac..cf7db65 100755
--- a/check
+++ b/check
@@ -15,5 +15,4 @@ yarn --env "ADDRESS=$address" \
      --env "PASS_HOME=$HOME" \
      --env "VARIABLES=$variables" \
      --env "SSH_AUTH_SOCK=$SSH_AUTH_SOCK" \
-     --env "SSH_AGENT_PID=$SSH_AGENT_PID" \
      --shell python2 --shell-arg '' *.yarn "$@"
-- 
cgit v1.2.1