about summary refs log tree commit homepage
diff options
context:
space:
mode:
authorEric Wong <e@80x24.org>2019-11-29 10:14:12 +0000
committerEric Wong <e@80x24.org>2019-12-11 08:10:31 +0000
commit7c64c5b3f0535e58506a3157e3bd645996dc154f (patch)
tree08dce2255f494abce03b880e7dfbff92947caaa5
parent93e56f66355e62f30cbc94b2e32e94c55849c878 (diff)
downloadpublic-inbox-7c64c5b3f0535e58506a3157e3bd645996dc154f.tar.gz
We can create a stamp to avoid rerunning the check unless
NEWS.atom changes (and it will, soon, I hope :>).
-rw-r--r--.gitignore1
-rw-r--r--Documentation/include.mk5
2 files changed, 4 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index 9eb97751..bdb8cf15 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,7 @@
 *.html
 *.gz
 .*.cols
+.*.check
 /NEWS.html
 /NEWS.atom
 /NEWS
diff --git a/Documentation/include.mk b/Documentation/include.mk
index 651fdf30..624f07f4 100644
--- a/Documentation/include.mk
+++ b/Documentation/include.mk
@@ -134,11 +134,12 @@ NEWS NEWS.atom NEWS.html : Documentation/include.mk
         $(PERL) -I lib -w Documentation/mknews.perl $@ $(RELEASES)
 
 # check for internal API changes:
-check :: NEWS check-NEWS.atom NEWS.html
+check :: NEWS .NEWS.atom.check NEWS.html
 
-check-NEWS.atom: NEWS.atom
+.NEWS.atom.check: NEWS.atom
         $(XMLSTARLET) val NEWS.atom || \
                 { e=$$?; test $$e -eq 0 || test $$e -eq 127; }
+        >$@
 
 Documentation/%.html: Documentation/%.txt
         $(txt2pre)