You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ifnotFlags.getConfigBool(Flags.FORCE_RECOMMENDED_ORDERING) andnot listEmpty(enabledModules) then
7365
7387
Error.addCompilerError("It's not possible to combine following flags: --initOptModules+=... and --"+Flags.configFlagName(Flags.FORCE_RECOMMENDED_ORDERING) +"=false");
7366
7388
fail();
7367
7389
end if;
7368
7390
7369
-
ifnotFlags.getConfigBool(Flags.FORCE_RECOMMENDED_ORDERING) andnot listEmpty(Flags.getConfigStringList(Flags.INIT_OPT_MODULES_SUB)) then
7391
+
ifnotFlags.getConfigBool(Flags.FORCE_RECOMMENDED_ORDERING) andnot listEmpty(disabledModules) then
7370
7392
Error.addCompilerError("It's not possible to combine following flags: --initOptModules-=... and --"+Flags.configFlagName(Flags.FORCE_RECOMMENDED_ORDERING) +"=false");
0 commit comments