patch 9.0.0700: there is no real need for a "big" build
Problem: There is no real need for a "big" build.
Solution: Move common features to "normal" build, less often used features
to the "huge" build. (Martin Tournoij, closes #11283)
diff --git a/src/Make_mvc.mak b/src/Make_mvc.mak
index be08c6f..028277a 100644
--- a/src/Make_mvc.mak
+++ b/src/Make_mvc.mak
@@ -16,7 +16,7 @@
#
# !!!! After changing any features do "nmake clean" first !!!!
#
-# Feature Set: FEATURES=[TINY, NORMAL, BIG, HUGE] (default is HUGE)
+# Feature Set: FEATURES=[TINY, NORMAL, HUGE] (default is HUGE)
#
# Name to add to the version: MODIFIED_BY=[name of modifier]
#
@@ -354,7 +354,7 @@
!endif
!ifndef SOUND
-! if "$(FEATURES)"=="HUGE" || "$(FEATURES)"=="BIG"
+! if "$(FEATURES)"=="HUGE"
SOUND = yes
! else
SOUND = no
@@ -1124,7 +1124,7 @@
!endif # POSTSCRIPT
#
-# FEATURES: TINY, NORMAL, BIG or HUGE
+# FEATURES: TINY, NORMAL, or HUGE
#
CFLAGS = $(CFLAGS) -DFEAT_$(FEATURES)