diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2021-07-14 06:39:20 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2021-07-14 06:39:20 -0700 |
| commit | 2830565f6c00ea423c7496cfb3539bdb5625248b (patch) | |
| tree | 1f7e28c770690b14b0f95b109f9d223d1e915e72 /mpi-patches/add-mpi-toradix-with-case | |
| parent | 0b830828cbace15b524b28b04aa6716cb57ed589 (diff) | |
| download | txr-2830565f6c00ea423c7496cfb3539bdb5625248b.tar.gz txr-2830565f6c00ea423c7496cfb3539bdb5625248b.tar.bz2 txr-2830565f6c00ea423c7496cfb3539bdb5625248b.zip | |
build: recompile txr.c if build_id changes.
With this change, it is possible to
make build_id=abcd
to rebuild TXR with the given build ID. Any changes in the
value of a dynamic, git-generated build_id will likewise
trigger a rebuild.
* Makefile (old_build_id): New variable. We read the old build
ID from a file called .build_id in the build directory. If
it differs from the current expanded ID, build_id_exp,
we remove the object files affected by build_id.
In all cases, we then write the current build ID into the
.build_id file.
(clean, distclean): Remove .build_id.
Diffstat (limited to 'mpi-patches/add-mpi-toradix-with-case')
0 files changed, 0 insertions, 0 deletions