Makefile: no need for REQUIRES_CONFIGURATION check on config.status
Makefile: no need for REQUIRES_CONFIGURATION check on config.status

Now that Makefile.build_config is only included when configuration is
required, we can remove the REQUIRES_CONFIGURATION logic here.

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml