lmi-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[lmi-commits] [lmi] master b354377 4/5: Move 'errors.sed' contents aside


From: Greg Chicares
Subject: [lmi-commits] [lmi] master b354377 4/5: Move 'errors.sed' contents aside
Date: Sat, 21 Apr 2018 13:56:28 -0400 (EDT)

branch: master
commit b3543771775401b36a54131ade03863e4bb59210
Author: Gregory W. Chicares <address@hidden>
Commit: Gregory W. Chicares <address@hidden>

    Move 'errors.sed' contents aside
    
    * diagnostics.sed: Incorporate old 'errors.sed' contents as comments.
    * errors.sed: Remove contents; now-empty script to be repurposed soon.
    
    Neither of these sed scripts is referenced elsewhere in lmi, and it
    seems unlikely that anyone is using 'errors.sed' manually.
---
 diagnostics.sed | 6 ++++++
 errors.sed      | 8 +-------
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/diagnostics.sed b/diagnostics.sed
index 4df1206..7f3c510 100644
--- a/diagnostics.sed
+++ b/diagnostics.sed
@@ -46,6 +46,12 @@
 /^make.*\[[0-9]*\]: warning: -jN forced in submake: disabling jobserver 
mode.$/d
 /^make.*\[[0-9]*\]: \*\*\* \[.*\] Error [0-9]*$/d
 /^make.*\[[0-9]*\]: \[.*\] Error [0-9]* (ignored)$/d
+  # Often, make says 'not remade because of errors' if it encounters
+  # an error; but sometimes it doesn't. It is more robust to look for
+  # three successive asterisks, then discard lines reporting errors
+  # we have told make to ignore, thus:
+#/\*\*\*/!d
+#/Error *[1-9][0-9]* *(ignored)$/d
   # Delete expected output from gnu cpp.
 /^[^ ]*CPP *-x/d
 /^[^ ]*cpp *-x/d
diff --git a/errors.sed b/errors.sed
index 334a296..d5627bf 100644
--- a/errors.sed
+++ b/errors.sed
@@ -19,10 +19,4 @@
 # email: <address@hidden>
 # snail: Chicares, 186 Belle Woods Drive, Glastonbury CT 06033, USA
 #
-  # Often, make says 'not remade because of errors' if it encounters
-  # an error; but sometimes it doesn't. It is more robust to look for
-  # three successive asterisks, then discard lines reporting errors
-  # we have told make to ignore.
-/\*\*\*/!d
-/Error *[1-9][0-9]* *(ignored)$/d
-
+# to be repurposed...



reply via email to

[Prev in Thread] Current Thread [Next in Thread]