[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] maint: Ignore files created during 'make check'
|
From: |
Jose E. Marchesi |
|
Subject: |
Re: [PATCH] maint: Ignore files created during 'make check' |
|
Date: |
Tue, 25 Feb 2020 08:47:30 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Hi Eric.
* .gitignore: Ignore files created during 'make check'.
Applied to master.
Thanks!
---
Yeah, I know this only affects people that do in-tree builds, and
that if I were to use VPATH I wouldn't run into it...
.gitignore | 3 +++
ChangeLog | 4 ++++
2 files changed, 7 insertions(+)
diff --git a/.gitignore b/.gitignore
index b3319f65..8f103e76 100644
--- a/.gitignore
+++ b/.gitignore
@@ -64,3 +64,6 @@ config.h.in
/src/pvm-vm.h
/src/pvm-vm1.c
/src/pvm-vm2.c
+/testsuite/poke.log
+/testsuite/poke.sum
+/testsuite/site.exp
diff --git a/ChangeLog b/ChangeLog
index 0257edd4..63db3969 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2020-02-24 Eric Blake <address@hidden>
+
+ * .gitignore: Ignore files created during 'make check'.
+
2020-02-24 Eric Blake <address@hidden>
* src/pk-term.c (pk_term_init): Use correct conditional.