Restore check_call for sed

This commit is contained in:
Nicola Soranzo
2019-04-09 20:26:27 +01:00
committed by GitHub
parent 68423aa361
commit aa008a650b
+1 -3
View File
@@ -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]