1 files changed, 16 insertions, 0 deletions
diff --git a/vm-help/do_tools b/vm-help/do_tools
new file mode 100755
index 0000000..a15b0da
--- /dev/null
+++ b/vm-help/do_tools
@@ -0,0 +1,16 @@
+#! /bin/sh
+
+if [ $# -eq 0 ] ; then
+   echo NO ARGUMENTS
+   exit 1
+fi
+
+# NEWLIB_HEAD="--macros=snapshots/newlib-head.mc"
+
+for tool in $*
+do
+  # --force when building all
+  time ../source-builder/sb-set-builder \
+     --log=l-${tool}.txt \
+     --prefix=${HOME}/rtems-4.11-work/tools 4.11/rtems-${tool}
+done