Do not prompt for comparison tool if not in interactive mode.

Change-Id: I89dbea3116a518b4e60dd5266a7db3887adcb327

1 files changed, 5 insertions, 3 deletions

diff --git a/backflip b/backflip
index a0bde9c..3b80b38 100755
--- a/backflip
+++ b/backflip
@@ -157,9 +157,11 @@ port=29418
 project=toolchain/gcc
 EOF
 fi
-if ! which $CMPTOOL > /dev/null ; then
-  print_info "Default comparison tool is missing"
-  ask "Enter tool name: " CMPTOOL
+if $INTERACTIVE; then
+  if ! which $CMPTOOL > /dev/null ; then
+    print_info "Default comparison tool is missing"
+    ask "Enter tool name: " CMPTOOL
+  fi
 fi
 
 mkdir $TMPDIR