From d07232a0af3651ad0ee1f31883f6af23bc9b2fe2 Mon Sep 17 00:00:00 2001
From: Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de>
Date: Wed, 19 Oct 2016 16:05:23 +0200
Subject: [PATCH] new_build_env: use python3

---
 new_build_env.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/new_build_env.py b/new_build_env.py
index 6bb5043..10bdd3c 100755
--- a/new_build_env.py
+++ b/new_build_env.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/python3
 
 import os
 import sys
@@ -30,7 +30,7 @@ def main():
     parser.add_option('-c', '--clean', dest='CLEAN', action="store_true",
                       default = False,
                       help="Remove all files from current directory before")
-    parser.add_option('-v', '--verbose', dest='verbose', action='count',
+    parser.add_option('-v', '--verbose', dest='verbose', action='count', default=0,
                       help="Increase verbosity (specify multiple times for more)")
     parser.add_option('', '--fail-trace-all', dest='FAIL_TRACE_ALL', default = "no",
                       help="Trace all testcases")
-- 
GitLab