From 1c84c7fca18cc6bcecf6857ef0574d83de5a2000 Mon Sep 17 00:00:00 2001
From: "David M. Lee" <leedm777@yahoo.com>
Date: Thu, 5 Jan 2012 16:27:40 -0600
Subject: [PATCH] execRunner should exec.

This avoids having a stray bash process that's not useful for anything.
---
 sbt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sbt b/sbt
index 210f28c81..f3c37922c 100755
--- a/sbt
+++ b/sbt
@@ -104,7 +104,7 @@ execRunner () {
     echo ""
   }
 
-  "$@"
+  exec "$@"
 }
 
 echoerr () {