2 Generating header files
14 # In 'sed', replace the pattern space with a "DO NOT EDIT" comment.
15 SED_HEADER_NOEDIT = s,.*,/* DO NOT EDIT! GENERATED AUTOMATICALLY! */,
17 # '$(SED_HEADER_STDOUT) -e "..."' runs 'sed' but first outputs "DO NOT EDIT".
18 SED_HEADER_STDOUT = sed -e 1h -e '1$(SED_HEADER_NOEDIT)' -e 1G
20 # '$(SED_HEADER_TO_AT_t) FILE' copies FILE to $@-t, prepending a leading
21 # "DO_NOT_EDIT". Although this could be done more simply via:
22 # SED_HEADER_TO_AT_t = $(SED_HEADER_STDOUT) > $@-t
23 # the -n and 'w' avoid a fork+exec, at least when GNU Make is used.
24 SED_HEADER_TO_AT_t = $(SED_HEADER_STDOUT) -n -e 'w $@-t'
26 # Use $(gl_V_at) instead of $(AM_V_GEN) or $(AM_V_at) on a line that
27 # is its recipe's first line if and only if @NMD@ lines are absent.
28 @NMD@gl_V_at = $(AM_V_at)
29 @!NMD@gl_V_at = $(AM_V_GEN)