diff options
| author | Simon Marchi <simon.marchi@efficios.com> | 2020-01-13 13:57:32 -0500 |
|---|---|---|
| committer | Simon Marchi <simon.marchi@efficios.com> | 2020-01-13 13:58:02 -0500 |
| commit | 4025fa094d2420134acc4fea2049e707df8ecd01 (patch) | |
| tree | 133c3d9250a5d5e6e1444842caf256374ee1f46c /.gitattributes | |
| parent | c87c17c1c29078d221756e5dc373e09e03ca6755 (diff) | |
| download | gdb-4025fa094d2420134acc4fea2049e707df8ecd01.zip gdb-4025fa094d2420134acc4fea2049e707df8ecd01.tar.gz gdb-4025fa094d2420134acc4fea2049e707df8ecd01.tar.bz2 | |
gdbserver: fix Makefile dependency of regformat-generated files on regdat.sh
The intent of the rules modified by this patch is that the *-generated.c
files generated by regdat.sh are re-generated in the event that
regdat.sh is modified. However, if I build, touch regdat.sh, and build
again, the files are not re-generated during the second build.
This is because regdat.sh is specified as an order-only dependency [1],
after the pipe. Make therefore only ensures that regdat.sh exists
before generating the target file, it doesn't check the timestamp of
regdat.sh.
This patch changes it to be a regular prerequisite.
The rules use the $< variable, which is substituted by the first
prerequisite only, so the command lines won't change.
[1] https://www.gnu.org/software/make/manual/html_node/Prerequisite-Types.html
gdb/gdbserver/ChangeLog:
* Makefile.in (%-generated.c): Make $(regdat_sh) a regular
prerequisite.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions