tree cf2ee0f96608678fb353bd40f02a521fdcd83fe2
parent 91852aa07c01b483c32d7436d6abc09003f69906
author GianMaria Romanato <gm.romanato@gmail.com> 1483645197 +0100
committer GianMaria Romanato <gm.romanato@gmail.com> 1483645197 +0100

486353: Virgo 3.7 and 3.6.x does not support native library on Windows 

Change bat files to force os.name=win32 on Windows 10.

Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=486353