diff options
author | Alex Chernyakhovsky <achernya@google.com> | 2023-03-05 20:52:52 -0500 |
---|---|---|
committer | Alex Chernyakhovsky <achernya@mit.edu> | 2023-07-30 17:03:40 -0400 |
commit | 62869ae55f3a368ad18545ab6d8973bffffb239f (patch) | |
tree | 7b7d1c909c06508586193df76531bf1367282a9e /.gitignore | |
parent | aa742478cbf30867d55fb13e0d29c5f974ce880d (diff) |
Rename VERSION to VERSION.stamp
-I$(top_srcdir) is not usable on macOS due to a conflicting C++ header
`version`.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -35,5 +35,6 @@ src/include/config.h.in~ src/include/stamp-h1 /test-driver /VERSION +/VERSION.stamp /scripts/mosh src/include/version.h |