Gentlemen,
$ make
makes the first item.
$ make FARB
makes the FARB item.
But there is no way to make both, without looking in the file to find
the name of the first item!
$ make FARB BLZZ #if the first item is called BLZZ

OK, no big deal never mind.

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

Reply via email to