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_cyg_ming.mak b/src/Make_cyg_ming.mak
index dfc5403..37dc260 100644
--- a/src/Make_cyg_ming.mak
+++ b/src/Make_cyg_ming.mak
@@ -28,7 +28,7 @@
# Updated 2014 Oct 13.
#>>>>> choose options:
-# FEATURES=[TINY | NORMAL | BIG | HUGE]
+# FEATURES=[TINY | NORMAL | HUGE]
# Set to TINY to make a minimal version (no optional features).
FEATURES=HUGE
@@ -113,7 +113,7 @@
endif
# Set to yes to enable sound support.
-ifneq ($(findstring $(FEATURES),BIG HUGE),)
+ifneq ($(findstring $(FEATURES),HUGE),)
SOUND=yes
else
SOUND=no