# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1512933731 28800
# Node ID a5eae2810f23d86594458db7b843971f3a0db32c
# Parent  c44637991a01413d179c31f085542edcbee8a501
[syn] +x

diff -r c44637991a01 -r a5eae2810f23 bin/syn.sh
--- a/bin/syn.sh	Sun Dec 10 09:59:24 2017 -0800
+++ b/bin/syn.sh	Sun Dec 10 11:22:11 2017 -0800
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-set -e
+set -ex
 
 cd