On Sun, Nov 11, 2018 at 10:53 AM Nguyễn Thái Ngọc Duy <pclo...@gmail.com> wrote: > > Also while "precious" is a fun name, but it does not sound serious. > Any suggestions? Perhaps "valuable"?
"precious" is also used by POSIX make: http://pubs.opengroup.org/onlinepubs/9699919799/utilities/make.html Bert
