diff --git a/Config b/Config index f4ccf96b7..7cb5136be 100755 --- a/Config +++ b/Config @@ -130,7 +130,7 @@ export ECHO2 ECHO2SUF INSTDIR=$HOME/services RUNGROUP= UMASK= -DEBUG="yes" +DEBUG="no" USE_RUN_CC_PL="no" USE_PCH="no" EXTRA_INCLUDE_DIRS=