aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Alex Chernyakhovsky <achernya@google.com>2023-03-05 20:52:52 -0500
committerGravatar Alex Chernyakhovsky <achernya@mit.edu>2023-07-30 17:03:40 -0400
commit62869ae55f3a368ad18545ab6d8973bffffb239f (patch)
tree7b7d1c909c06508586193df76531bf1367282a9e /.gitignore
parentaa742478cbf30867d55fb13e0d29c5f974ce880d (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--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 2d1b8da..b6218a8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -35,5 +35,6 @@ src/include/config.h.in~
src/include/stamp-h1
/test-driver
/VERSION
+/VERSION.stamp
/scripts/mosh
src/include/version.h