Add a description of the purpose of make.bat.

Theano · Mar 30, 2017 · 3307031 · 3307031
1 parent 26b85ee
commit 3307031
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/make.bat b/make.bat
@@ -1,3 +1,7 @@
+REM This helps repetitive builds on windows
+REM It needs the compiler you want to use to be available in the shell
+REM and it will build a release version
+
 del bld
 mkdir bld
 cd bld