diff --git a/Tools/scripts/build_examples.sh b/Tools/scripts/build_examples.sh index 76431b3c5b..5543f0ad16 100755 --- a/Tools/scripts/build_examples.sh +++ b/Tools/scripts/build_examples.sh @@ -1,46 +1,21 @@ #!/bin/bash -# useful script to test the build of all example code -# This helps when doing large merges -# Andrew Tridgell, November 2012 set -e + +cat >&2 <