Simon Li 54bf2e7875 Test that set -e hasn't leaked into the main shell		2025-02-11 18:55:53 +00:00
..
postBuild	Test that set -e hasn't leaked into the main shell	2025-02-11 18:55:53 +00:00
start-script	Make verify script executable	2018-09-15 10:05:25 +02:00