From eb0e3c993dd75954f363e1571299f99efab76a89 Mon Sep 17 00:00:00 2001 From: Peter Barker Date: Wed, 1 Jun 2016 20:23:49 +1000 Subject: [PATCH] Tools: build_examples.sh implemented in terms of build_examples.py --- Tools/scripts/build_examples.sh | 55 +++++++++------------------------ 1 file changed, 15 insertions(+), 40 deletions(-) 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 <