On Thursday 28 January 2010, Paul Menzel wrote:
Therefore include strictly necessary options in `Make.global` and include this in all the Makefiles before `Make.config`.
If these options are strictly necessary, shouldn't the leading "-" be dropped from all "-include $(VDRDIR)/Make.global" lines?