From d7569bec0c9bf22b2be63ca6edd4fd8c4fc9c8f8 Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Thu, 2 Nov 2017 17:13:37 +0000
Subject: [PATCH] travis 12: &>/dev/null on getopts was a bad, bad idea

---
 run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run b/run
index 105f42d..7385250 100755
--- a/run
+++ b/run
@@ -5,7 +5,7 @@ extra_targets=''
 j="$(($(nproc) - 2))"
 x11=false
 v=0
-while getopts a:j:t:v OPT > /dev/null 2>&1; do
+while getopts a:e:j:nt:v OPT; do
   case "$OPT" in
     'a')
       arch="$OPTARG"