diff scripts/whitespacecleanup.sh @ 8340:bf85e6018daa

scripts: properly check for errors in whitespacecleanup/run-all-cleanup An error in whitespacecleanup, like a bug in isort that raises an exception, should be treated as a problem instead of silently ignored.
author Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
date Sat, 07 Mar 2020 20:48:02 +0100
parents 8d663d23ab85
children d379e2c39bba
line wrap: on
line diff
--- a/scripts/whitespacecleanup.sh	Fri Apr 10 16:54:50 2020 +0200
+++ b/scripts/whitespacecleanup.sh	Sat Mar 07 20:48:02 2020 +0100
@@ -1,4 +1,4 @@
-#!/bin/bash -x
+#!/bin/bash -xe
 
 # Enforce some consistency in whitespace - just to avoid spurious whitespaces changes