diff options
| author | midipix <writeonce@midipix.org> | 2021-05-26 17:28:59 +0000 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2021-05-26 21:28:47 +0000 |
| commit | cdbeb45a94f2443f1e5b95beeab3d3e66f9789f3 (patch) | |
| tree | 0a20d34cd2bdeb4e53d7ec4db32d17e677bc0c05 | |
| parent | 74e621a15bf2eb49b34793f6b167a9a1cbdd6c97 (diff) | |
| download | u16ports-cdbeb45a94f2443f1e5b95beeab3d3e66f9789f3.tar.bz2 u16ports-cdbeb45a94f2443f1e5b95beeab3d3e66f9789f3.tar.xz | |
build system: Makefile.in: host.tag: switch to a simple time-stamp.
| -rw-r--r-- | Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 9c27151..05015f2 100644 --- a/Makefile.in +++ b/Makefile.in @@ -283,7 +283,8 @@ dirs.tag: touch dirs.tag host.tag: @makefile@ - $(CC) $(CFLAGS) -dumpmachine > host.tmp + rm -f host.tmp + touch host.tmp mv host.tmp host.tag version.tag: $(GIT_REFERENCE_INDEX) dirs.tag |