From 15f645da66b0581f8d8b76d0ac5a746dcd827fee Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 5 Jun 2019 09:48:15 -0700
Subject: [PATCH] debug options

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_win_dist.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/mk_win_dist.py b/scripts/mk_win_dist.py
index c685f4bd8..e4a0c0542 100644
--- a/scripts/mk_win_dist.py
+++ b/scripts/mk_win_dist.py
@@ -89,6 +89,7 @@ def parse_options():
                                                                    'x86-only',
                                                                    'x64-only'
                                                                    ])
+    print(options)
     for opt, arg in options:
         if opt in ('-b', '--build'):
             if arg == 'src':