From c1e24d8e58d3b59535b03aebdf08e9f7450e762c Mon Sep 17 00:00:00 2001
From: Jimmy Brisson <theotherjimmy@gmail.com>
Date: Mon, 9 Apr 2018 09:27:09 -0500
Subject: [PATCH] Heed filters in macro printing

---
 tools/get_config.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/get_config.py b/tools/get_config.py
index b69ff9b1de..5d60907f46 100644
--- a/tools/get_config.py
+++ b/tools/get_config.py
@@ -74,7 +74,8 @@ if __name__ == '__main__':
         print("Macros")
         print("------")
         for m in Config.config_macros_to_macros(macros):
-            print(m)
+            if any(m.startswith(s) for s in options.prefix):
+                print(m)
 
     except KeyboardInterrupt as e:
         print("\n[CTRL+c] exit")