135 |
} |
} |
136 |
|
|
137 |
# It would be great to have $REQ check that it up to date wrt its |
# It would be great to have $REQ check that it up to date wrt its |
138 |
# dependencies, but that requires gettting traces (to fetch the |
# dependencies, but that requires getting traces (to fetch the |
139 |
# included files), which is out of the scope of Request |
# included files), which is out of the scope of Request |
140 |
# (currently?). |
# (currently?). |
141 |
|
|
1138 |
# Always produce traces, since even if the output is young enough, |
# Always produce traces, since even if the output is young enough, |
1139 |
# there is no guarantee that the traces use the same *format* |
# there is no guarantee that the traces use the same *format* |
1140 |
# (e.g., `-t FOO:foo' and `-t FOO:bar' are both using the same M4 |
# (e.g., `-t FOO:foo' and `-t FOO:bar' are both using the same M4 |
1141 |
# traces, hence the M4 traces cache is usable, but its formating |
# traces, hence the M4 traces cache is usable, but its formatting |
1142 |
# will yield different results). |
# will yield different results). |
1143 |
handle_traces ($req, $output, %trace); |
handle_traces ($req, $output, %trace); |
1144 |
} |
} |