- optionally die if there were errors

Changed files:
    kernel-track-config-change.awk -> 1.2

diff --git a/kernel-track-config-change.awk b/kernel-track-config-change.awk
index 50cde5c3ba56e42744b28fc4a585f97f92d689b5..b7ee300fecb325591b0f45a654b55a4077ed79e2 100644 (file)
--- a/kernel-track-config-change.awk
+++ b/kernel-track-config-change.awk
@@ -19,6 +19,8 @@ BEGIN {
                        continue
                }
        }
+
+       foundErrors = 0
 }
 
 
@@ -48,10 +50,15 @@ BEGIN {
        } else {
                if ( value != orig ) {
                        print "ERROR: option " name " redefined from " orig " to " value
+                       foundErrors++
                }
        }
 }
 
 END {
-       exit 0
+       if ( foundErrors ) {
+               print "There were " foundErrors " errors"
+               if ( dieOnError )
+                       exit 1
+       }
 }