diff -r 12f178e7737f -r ec634b3aa302 make/Makefile
--- a/make/Makefile	Thu Mar 05 09:49:00 2009 -0800
+++ b/make/Makefile	Fri Mar 06 10:52:02 2009 -0800
@@ -112,8 +112,6 @@
   TARGET_JAVA = java
 endif
 
-NO_PROPRIETARY_API_WARNINGS = -XDignore.symbol.file=true
-
 SELF = $(lastword $(MAKEFILE_LIST))
 
 # for jdk, we generate the following: