Norman Maurer 342f52e813 Let script fail if one command fail (#10945) ... Motivation: We should use `set -e` to ensure we fail the script if one command fails. Modifications: Add set -e to script Result: Fail fast		2021-01-15 16:47:49 +01:00
..
check_leak.sh	Let script fail if one command fail (#10945)	2021-01-15 16:47:49 +01:00