(sctintrins): New member in_enable. Update infra.config. Use it

[empserver] / src / lib / global / options.c

diff --git a/src/lib/global/options.c b/src/lib/global/options.c
index dab7575186480893e70e142a1ef13534d91826b9..ead3349476b21b8043b2dd2decd2006c62dcf274 100644 (file)
--- a/src/lib/global/options.c
+++ b/src/lib/global/options.c
@@ -39,7 +39,6 @@
 int opt_ALL_BLEED = 1;
 int opt_BLITZ = 1;
 int opt_BRIDGETOWERS = 1;
-int opt_DEFENSE_INFRA = 0;
 int opt_DEMANDUPDATE = 1;
 int opt_EASY_BRIDGES = 1;
 int opt_FALLOUT = 1;