Commit 9ed679ea511212ff81bc4dadb020d8b1371d4633

Steffen Jaeckel 2019-03-24T23:31:56

use appropriate bash exit code