Commits

Leonardo de Moura committed 3c7d655

checkpoint

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

Comments (0)

Files changed (1)

scripts/mk_make.py

 mk_auto_src()
 update_version(4, 2, 0, 0)
 
-# mk_makefile()
+mk_makefile()