Maybe this should produce a warning

$ cat Makefile
m: /tmp/ky
m: /tmp/ky
m: /tmp/ky
m: /tmp/ky
        echo ...

_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make

Reply via email to