kris/pqc
1
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add success output to check_symbol_namespace

Browse Source 
Otherwise Make is vague if it did anything
This commit is contained in:
Thom Wiggers 2019-01-23 12:12:08 +01:00
parent e19a0a3afa
commit b657d988b4
No known key found for this signature in database
GPG Key ID: 001BB0A7CE26E363
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/check_symbol_namespace.py
View File

@ -35,3 +35,5 @@ if non_namespaced:
for symbol in non_namespaced: for symbol in non_namespaced:
print("\t{}".format(symbol), file=sys.stderr) print("\t{}".format(symbol), file=sys.stderr)
sys.exit(1) sys.exit(1)
else:
print("Checking {} succeeded".format(SCHEME))