@@ -37,6 +37,8 @@ SFLAGS=
SRCFLAGS=
FORCE_COVERAGE_ENABLED=
FORCE_COVERAGE_DISABLED=
+OBJADDE_LIB=
+OBJADDE_LIB_GLOBAL=
AUTOCHECK_BALANCING_OPTIONS=
SO_OUTPUTS=no