diff options
| -rw-r--r-- | test/ChangeLog | 5 | ||||
| -rw-r--r-- | test/Makefile.am | 2 | ||||
| -rw-r--r-- | test/Makefile.in | 2 |
3 files changed, 7 insertions, 2 deletions
diff --git a/test/ChangeLog b/test/ChangeLog index 664db91c..a331619e 100644 --- a/test/ChangeLog +++ b/test/ChangeLog @@ -1,3 +1,8 @@ +2018-10-10 Arnold D. Robbins <arnold@skeeve.com> + + * 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 <arnold@skeeve.com> * Maefile.am (EXTRA_DIST): New test: mpfrbigint2. diff --git a/test/Makefile.am b/test/Makefile.am index bcfb135c..171a7620 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -1890,7 +1890,7 @@ profile1: @$(AWK) -f "$(srcdir)"/xref.awk "$(srcdir)"/dtdgport.awk > _$@.out1 @$(AWK) --pretty-print=ap-$@.out -f "$(srcdir)"/xref.awk @$(AWK) -f ./ap-$@.out "$(srcdir)"/dtdgport.awk > _$@.out2 ; rm ap-$@.out - @$(CMP) _$@.out1 _$@.out2 && rm _$@.out[12] || { echo EXIT CODE: $$? >>_$@ ; \ + @-$(CMP) _$@.out1 _$@.out2 && rm _$@.out[12] || { echo EXIT CODE: $$? >>_$@ ; \ cp "$(srcdir)"/dtdgport.awk $@.ok ; } profile2: diff --git a/test/Makefile.in b/test/Makefile.in index c547d187..74e8b3d2 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -2338,7 +2338,7 @@ profile1: @$(AWK) -f "$(srcdir)"/xref.awk "$(srcdir)"/dtdgport.awk > _$@.out1 @$(AWK) --pretty-print=ap-$@.out -f "$(srcdir)"/xref.awk @$(AWK) -f ./ap-$@.out "$(srcdir)"/dtdgport.awk > _$@.out2 ; rm ap-$@.out - @$(CMP) _$@.out1 _$@.out2 && rm _$@.out[12] || { echo EXIT CODE: $$? >>_$@ ; \ + @-$(CMP) _$@.out1 _$@.out2 && rm _$@.out[12] || { echo EXIT CODE: $$? >>_$@ ; \ cp "$(srcdir)"/dtdgport.awk $@.ok ; } profile2: |