Commit Graph

3 Commits

Author SHA1 Message Date
Gregory Nutt
86e2a35946 mkkconfig.bat: Clean up a few things 2016-06-06 12:47:52 -06:00
Gregory Nutt
807e51ad05 Update tools/mkkconfig.bat; silence some Makefile output 2016-06-06 12:30:01 -06:00
Gregory Nutt
d64f6c300e Add a mkkconfig.bat script needed for the Windows native build 2015-08-12 15:29:52 -06:00