On Fri, 2018-07-20 at 06:22 -0700, th...@vmware.com wrote:
>  Within Gnu Make, it's pretty easy to $(sort) sort a list, but
>  de-duplicating it is a bit tougher.

GNU make's sort also uniquifies...

https://www.gnu.org/software/make/manual/html_node/Text-Functions.html

$(sort list)
    Sorts the words of list in lexical order, **removing duplicate words.**
    The output is a list of words separated by single spaces.

_______________________________________________
Help-make mailing list
Help-make@gnu.org
https://lists.gnu.org/mailman/listinfo/help-make

Reply via email to