grit: add -ex option to stript

7 jobs for main in 1 minute and 36 seconds (queued for 9 seconds)