From b657d988b49af0f46853b6ffb6cd67ac9e0898fc Mon Sep 17 00:00:00 2001 From: Thom Wiggers Date: Wed, 23 Jan 2019 12:12:08 +0100 Subject: [PATCH] Add success output to check_symbol_namespace Otherwise Make is vague if it did anything --- test/check_symbol_namespace.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/check_symbol_namespace.py b/test/check_symbol_namespace.py index b8985a2b..306be12d 100644 --- a/test/check_symbol_namespace.py +++ b/test/check_symbol_namespace.py @@ -35,3 +35,5 @@ if non_namespaced: for symbol in non_namespaced: print("\t{}".format(symbol), file=sys.stderr) sys.exit(1) +else: + print("Checking {} succeeded".format(SCHEME))