Generate batch file instead of shell script on Windowsmaster
tree8f4c7eaa417061b317648930a10e7e95789c9c7f
-rwxr-xr-x 3536 0release
-rw-r--r-- 2635 0release.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 1161 README
-rw-r--r-- 5386 compile.py
-rw-r--r-- 23230 release.py
-rw-r--r-- 6348 scm.py
-rw-r--r-- 4409 setup.py
-rw-r--r-- 7375 support.py
drwxr-xr-x - tests