From c76fb9b3af6ec43f2d2a83e6b4f523dcc5ac6a54 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Mon, 3 Aug 2020 13:37:57 +0530
Subject: configure, make hint optional

---
 configure           | 2 +-
 talerbuildconfig.py | 5 +++--
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/configure b/configure
index 20de9e1..5a14890 100755
--- a/configure
+++ b/configure
@@ -44,4 +44,4 @@ export PYTHONPATH="$scriptpath:${PYTHONPATH:-}"
 export TALERBUILDSYSTEMDIR=./build-system
 
 # Call configure.py, assuming all went well.
-exec python3 $TALERBUILDSYSTEMDIR/configure.py "$@"
+python3 $TALERBUILDSYSTEMDIR/configure.py "$@"
diff --git a/talerbuildconfig.py b/talerbuildconfig.py
index 832837e..2f8e40f 100644
--- a/talerbuildconfig.py
+++ b/talerbuildconfig.py
@@ -456,9 +456,10 @@ class NodeJsTool(Tool):
         return True
 
 class GenericTool(Tool):
-    def __init__(self, name, hint, version_arg="-v"):
+    def __init__(self, name, hint=None, version_arg="-v"):
         self.name = name
-        self.hint = hint
+        if hint is not None:
+            self.hint = hint
         self.version_arg = version_arg
 
     def args(self, parser):
-- 
cgit v1.2.3