Follow-up Comment #2, bug #65739 (group make):
Here is an example
$ cat makefile
hello: hello
$ make
make: circular hello <- hello dependency dropped
make: Nothing to be done for 'hello'.
$ make --warn=circular-dep:ignore
make: Nothing to be done for 'hello'.
$ make --warn=circular-dep:error
make: *** circular hello <- hello dependency dropped. Stop.
$ echo $?
2
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?65739>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
