Searched refs:decimal_headers (Results 1 – 2 of 2) sorted by relevance
727 decimal_headers = \ macro1181 stamp-decimal: ${decimal_headers}1506 for file in ${decimal_headers}; do \1555 $(decimal_headers) $(ext_headers) $(experimental_headers)1560 $(decimal_headers): ; @:
1084 decimal_headers = \1696 stamp-decimal: ${decimal_headers}1994 for file in ${decimal_headers}; do \2041 $(decimal_headers) $(ext_headers) $(experimental_headers)2046 $(decimal_headers): ; @: