commit c76fb9b3af6ec43f2d2a83e6b4f523dcc5ac6a54
parent f65d933845faa73a864cce17a8ccd575d8da9f10
Author: Florian Dold <florian.dold@gmail.com>
Date: Mon, 3 Aug 2020 13:37:57 +0530
configure, make hint optional
Diffstat:
2 files changed, 4 insertions(+), 3 deletions(-)
diff --git 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
@@ -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):