Re: info files deleted by "make"

[Bruno Haible]

Alexandre Duret-Lutz writes:

> Here is my proposal, based on yours.  Anything blatantly wrong?

Thanks. These lines catch my eye:

> +       test -f $$f && mv $$f $$backupdir; \

...

> +     test $$rc != 0 && mv $$backupdir/* `echo "./$@" | sed 's|[^/]*$$||'`; \

Around 1999/2000, such constructs used to fail on FreeBSD with BSD
'make'. My interpretation is that this 'make' implementation runs all
commands with '/bin/sh -e', not just /bin/sh. The fix against this
oddity is to use "if test ...; then" or to reverse the test and use ||
instead of &&:

          if test -f $$f; then mv $$f $$backupdir; fi; \

        test $$rc = 0 || mv $$backupdir/* `echo "./$@" | sed 's|[^/]*$$||'`; \

Bruno