Update dist/ files

webfactory · May 23, 2023 · 524333a · 524333a
1 parent 4fde982
commit 524333a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/dist/cleanup.js b/dist/cleanup.js
@@ -615,9 +615,11 @@ exports.debug = debug; // for test
 
 const core = __webpack_require__(470);
 const { execFileSync } = __webpack_require__(129);
-const { sshAgentCmd } = __webpack_require__(972);
+const { sshAgentCmdDefault } = __webpack_require__(972);
 
 try {
+    const sshAgentCmdInput = core.getInput('ssh-agent-cmd');
+    const sshAgentCmd = sshAgentCmdInput ? sshAgentCmdInput : sshAgentCmdDefault;
     // Kill the started SSH agent
     console.log('Stopping SSH agent');
     execFileSync(sshAgentCmd, ['-k'], { stdio: 'inherit' });