From aa008a650bf3c1fd4ac3fad1126dda65216928bd Mon Sep 17 00:00:00 2001
From: Nicola Soranzo <nicola.soranzo@gmail.com>
Date: Tue, 9 Apr 2019 20:26:27 +0100
Subject: [PATCH] Restore check_call for `sed`

---
 tools/filters/sorter.py | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/tools/filters/sorter.py b/tools/filters/sorter.py
index 25a87a5e0e0..4b5571eb06c 100644
--- a/tools/filters/sorter.py
+++ b/tools/filters/sorter.py
@@ -42,9 +42,7 @@ def main():
             # sed header
             if header_lines > 0:
                 sed_header = ['sed', '-n', "1,%dp" % header_lines, input]
-                exit_code = subprocess.call(sed_header, stdout=out)
-                if exit_code:
-                    stop_err('Capturing header lines failed')
+                subprocess.check_call(sed_header, stdout=out)
 
             # grep comments
             grep_comments = ['grep', '^#', input]