From 18c0a3bfafc3ed9746572ab81f190b5e39a40442 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sun, 14 Feb 2016 19:57:21 +0000
Subject: [PATCH] removed comments

---
 scripts/mk_make.py | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/scripts/mk_make.py b/scripts/mk_make.py
index 0e2409b0f..8cd9f3a7d 100644
--- a/scripts/mk_make.py
+++ b/scripts/mk_make.py
@@ -13,9 +13,9 @@ parse_options()
 check_eol()
 API_files = init_project_def()
 
-#update_version()
-#mk_auto_src()
+update_version()
+mk_auto_src()
 mk_bindings(API_files)
-#mk_vs_proj('z3', ['shell'])
-#mk_vs_proj_dll('libz3', ['api_dll'])
-#mk_makefile()
+mk_vs_proj('z3', ['shell'])
+mk_vs_proj_dll('libz3', ['api_dll'])
+mk_makefile()