diff options
| -rw-r--r-- | Makefile.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 29aff1c5..09bbf7cf 100644 --- a/Makefile.in +++ b/Makefile.in @@ -24,9 +24,14 @@ endif # Note: dual test, because if -R and -r are given on the command line # (who knows?), MAKEFLAGS contains 'Rr' instead of '-Rr', while adding # '-Rr' to MAKEFLAGS adds it literaly ( and does not add 'Rr' ) +# Further: quad test because the flags 'rR' and '-rR' can be reordered. ifeq ($(filter Rr,$(MAKEFLAGS)),) ifeq ($(filter -Rr,$(MAKEFLAGS)),) +ifeq ($(filter rR,$(MAKEFLAGS)),) +ifeq ($(filter -rR,$(MAKEFLAGS)),) CT_MAKEFLAGS += -Rr +endif # No -rR +endif # No rR endif # No -Rr endif # No Rr |