Makefile.in
changeset 3223 58ca31386bfb
parent 3185 f89f8e6f8766
child 3231 69f5dc1ff327
     1.1 --- a/Makefile.in	Mon Feb 25 21:19:31 2013 +0100
     1.2 +++ b/Makefile.in	Wed Jul 10 12:40:21 2013 +0100
     1.3 @@ -24,9 +24,14 @@
     1.4  # Note: dual test, because if -R and -r are given on the command line
     1.5  # (who knows?), MAKEFLAGS contains 'Rr' instead of '-Rr', while adding
     1.6  # '-Rr' to MAKEFLAGS adds it literaly ( and does not add 'Rr' )
     1.7 +# Further: quad test because the flags 'rR' and '-rR' can be reordered.
     1.8  ifeq ($(filter Rr,$(MAKEFLAGS)),)
     1.9  ifeq ($(filter -Rr,$(MAKEFLAGS)),)
    1.10 +ifeq ($(filter rR,$(MAKEFLAGS)),)
    1.11 +ifeq ($(filter -rR,$(MAKEFLAGS)),)
    1.12  CT_MAKEFLAGS += -Rr
    1.13 +endif # No -rR
    1.14 +endif # No rR
    1.15  endif # No -Rr
    1.16  endif # No Rr
    1.17