1 files changed, 33 insertions, 0 deletions
diff --git a/update-demos b/update-demos
new file mode 100755
index 0000000..b91d014
--- /dev/null
+++ b/update-demos
@@ -0,0 +1,33 @@
+#!/bin/bash
+
+set -euo pipefail
+
+set -x
+
+init_dir() {
+    dir=$1; shift;
+    rm -rf $dir
+    mkdir $dir
+
+    (cat <<EOF
+ee/cache
+.ninja_*
+EOF
+) > $dir/.gitignore
+}
+
+init_dir demo/thirdparty/olinuxino
+cd demo/thirdparty/olinuxino
+ee init --basedir=../../../thirdparty/olinuxino/HARDWARE/A64-OLinuXino/A64-OLinuXino_Rev_D
+ee ninja
+ninja -v -j1
+git add -A .
+cd -
+
+init_dir demo/thirdparty/unlockoslo-alpha-3
+cd $dir
+ee init --basedir=../../../thirdparty/unlockoslo/hardware/alpha-3
+ee ninja
+ninja -v -j1
+git add -A .
+cd -