[gawk-diffs] [SCM] gawk branch, gawk-4.2-stable, updated. gawk-4.1.0-3059-g764fda3

[Arnold Robbins]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, gawk-4.2-stable has been updated
       via  764fda37790896df62e79a24df19b9cdf5ecc27a (commit)
      from  03cca4ddb49355fffb487b2b1dee3fc5859027f7 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=764fda37790896df62e79a24df19b9cdf5ecc27a

commit 764fda37790896df62e79a24df19b9cdf5ecc27a
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Oct 10 19:28:17 2018 +0300

    Ignore failure in profile1 test, allows make to keep going.

diff --git a/test/ChangeLog b/test/ChangeLog
index 664db91..a331619 100644
--- a/test/ChangeLog
+++ b/test/ChangeLog
@@ -1,3 +1,8 @@
+2018-10-10         Arnold D. Robbins     <address@hidden>
+
+       * Makefile.am (profile1): Add minus to ignore errors on final
+       step of the recipe.  Allows make to keep going.
+
 2018-09-27         Arnold D. Robbins     <address@hidden>
 
        * Maefile.am (EXTRA_DIST): New test: mpfrbigint2.
diff --git a/test/Makefile.am b/test/Makefile.am
index bcfb135..171a762 100644
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -1890,7 +1890,7 @@ profile1:
        @$(AWK) -f "$(srcdir)"/xref.awk "$(srcdir)"/dtdgport.awk > 
address@hidden
        @$(AWK) address@hidden -f "$(srcdir)"/xref.awk
        @$(AWK) -f ./address@hidden "$(srcdir)"/dtdgport.awk > address@hidden ; 
rm address@hidden
-       @$(CMP) address@hidden address@hidden && rm address@hidden || { echo 
EXIT CODE: $$? >>_$@ ; \
+       @-$(CMP) address@hidden address@hidden && rm address@hidden || { echo 
EXIT CODE: $$? >>_$@ ; \
        cp "$(srcdir)"/dtdgport.awk address@hidden ; }
 
 profile2:
diff --git a/test/Makefile.in b/test/Makefile.in
index c547d18..74e8b3d 100644
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -2338,7 +2338,7 @@ profile1:
        @$(AWK) -f "$(srcdir)"/xref.awk "$(srcdir)"/dtdgport.awk > 
address@hidden
        @$(AWK) address@hidden -f "$(srcdir)"/xref.awk
        @$(AWK) -f ./address@hidden "$(srcdir)"/dtdgport.awk > address@hidden ; 
rm address@hidden
-       @$(CMP) address@hidden address@hidden && rm address@hidden || { echo 
EXIT CODE: $$? >>_$@ ; \
+       @-$(CMP) address@hidden address@hidden && rm address@hidden || { echo 
EXIT CODE: $$? >>_$@ ; \
        cp "$(srcdir)"/dtdgport.awk address@hidden ; }
 
 profile2:

-----------------------------------------------------------------------

Summary of changes:
 test/ChangeLog   | 5 +++++
 test/Makefile.am | 2 +-
 test/Makefile.in | 2 +-
 3 files changed, 7 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk