Fix makefile

diff --git a/Makefile.base b/Makefile.base
index 939658815593b027f05dd2a522a26fdf186327c1..a88eb4a2df0d9c09378831aeda1945beccbc4d2e 100644 (file)
--- a/Makefile.base
+++ b/Makefile.base
@@ -9,7 +9,7 @@
 #SJAR_FLAGS += a list of things to pack, each usually prefixed with "-C src/", for *-sources.jar files
 
 JAVAC = javac
-JAVAC_FLAGS += -encoding UTF-8 -d ./bin/ -cp ./src/ -Xdiags:verbose
+JAVAC_FLAGS += -encoding UTF-8 -d ./bin/ -cp ./src/
 JAVA = java
 JAVA_FLAGS += -cp ./bin/
 JAR = jar