Joar Wandborg 42557beb50 Use -e instead of || exit		2019-01-10 08:06:58 +01:00
..
travis	Use -e instead of || exit	2019-01-10 08:06:58 +01:00