From c02d473d229784bc328f5ad94cf51190096c1fcb Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Wed, 11 Jan 2012 16:10:29 -0800
Subject: [PATCH] Added -batch mode.

---
 sbt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sbt b/sbt
index f3c37922c..1f4dd3e9b 100755
--- a/sbt
+++ b/sbt
@@ -221,6 +221,7 @@ Usage: $script_name [options]
   -no-share          use all local caches; no sharing
   -offline           put sbt in offline mode
   -jvm-debug <port>  Turn on JVM debugging, open at the given port.
+  -batch             Disable interactive mode
 
   # sbt version (default: from project/build.properties if present, else latest release)
   -sbt-version  <version>   use the specified version of sbt
@@ -305,6 +306,7 @@ process_args ()
      -debug-inc) addJava "-Dxsbt.inc.debug=true" && shift ;;
        -offline) addSbt "set offline := true" && shift ;;
      -jvm-debug) require_arg port "$1" "$2" && addDebugger $2 && shift 2 ;;
+         -batch) exec </dev/null && shift ;;
 
     -sbt-create) sbt_create=true && shift ;;
         -sbt-rc) [[ -n "$sbt_rc_version" ]] || die "no sbt RC candidate defined."; sbt_version=$sbt_rc_version && shift ;;