Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
strange behavior with "Warning: the tag "precious" is not used in any flag declaration" #6640
Original bug ID: 6640
I get this message :
Warning: the tag "precious" is not used in any flag declaration, so it will have no effect; it may be a typo. Otherwise use
which is due to this in my _tags file :
This line works and tells ocamlbuild not to "sanitize" .c files in GlHack. So the warning should not appear ?
Comment author: @gasche
It's not a decision to deprecate "precious", just that it was forgotten when listing the "hard-coded tags" to be avoided by the "unused tag" warning. This is now fixed in the 4.02 and trunk branches.
(Moving from "precious" to "not_hygienic" is indeed a correct workaround, as they have the same semantics.)