corba/make/jprt.properties
changeset 3871 3d528461f61d
parent 3291 805a72a26925
child 5555 b2b5ed3f0d0d
--- a/corba/make/jprt.properties	Wed Jul 05 16:59:55 2017 +0200
+++ b/corba/make/jprt.properties	Wed Sep 02 09:20:17 2009 -0700
@@ -34,8 +34,8 @@
 solaris_x64_5.10,\
 linux_i586_2.6,\
 linux_x64_2.6,\
-windows_i586,\
-windows_x64
+windows_i586_5.0,\
+windows_x64_5.2
 
 # The different build flavors we want
 jprt.build.flavors=product,fastdebug