misc/flags_js.xhtml
changeset 15725 4e1ea1bdd803
parent 15605 969bc30928da
child 15977 f81fe8250ed9
--- a/misc/flags_js.xhtml	Thu Jul 16 22:30:32 2020 +0300
+++ b/misc/flags_js.xhtml	Thu Jul 16 22:23:08 2020 +0200
@@ -169,6 +169,9 @@
     for (var i=0;i<flags.length;i++)
     {
         var flag = flags[i];
+        // Skip CPU flags
+        if (flag === "cpu" || flag === "cpu_plain")
+            continue;
 
         var oldFlagState = flagState;
         if (flagState === 0 && flag !== "hedgewars")