--- a/corba/make/common/shared/Platform.gmk	Wed Jul 05 17:11:12 2017 +0200
+++ b/corba/make/common/shared/Platform.gmk	Tue May 11 14:35:21 2010 -0700
@@ -333,7 +333,11 @@
   endif
   ARCH_FAMILY = $(ARCH)
   # Where is unwanted output to be delivered?
-  DEV_NULL = NUL
+  ifeq ($(USING_CYGWIN),true)
+    DEV_NULL = /dev/null
+  else
+    DEV_NULL = NUL
+  endif
   export DEV_NULL
   # Classpath separator
   CLASSPATH_SEPARATOR = ;