diff options
author | Gaute Hope <eg@gaute.vetsj.com> | 2016-05-30 18:18:21 +0200 |
---|---|---|
committer | Gaute Hope <eg@gaute.vetsj.com> | 2016-05-30 18:18:21 +0200 |
commit | 1582b538b99ffbad231773b8595e3865e6051133 (patch) | |
tree | 4bde5bdaf47fa3d3bdbe0f5fec48e4b977b2f965 /devel | |
parent | ae733eef24a38b20ddc8d36c7945046a55a35175 (diff) |
get_keys: default quiet
Diffstat (limited to 'devel')
-rwxr-xr-x | devel/get_keys.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/get_keys.py b/devel/get_keys.py index 8f490a5..940d2ef 100755 --- a/devel/get_keys.py +++ b/devel/get_keys.py @@ -35,10 +35,10 @@ def main(*options): # pattern to look for: pattern = re_compile("((->|\.)register_key *\([^;]*)") # quite mode? - quiet = False + quiet = True for option in options: - if '-q' == option: - quiet = True + if '-d' == option: + quiet = False # detect src root src_root = os.path.join(os.path.dirname(__file__), '../src') if not quiet: |