diff build-all.sh @ 2:95ac23360324

Update for current namespaces etc
author Chris Cannam
date Thu, 10 Nov 2016 15:06:53 +0000
parents
children cecea0d6719d
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/build-all.sh	Thu Nov 10 15:06:53 2016 +0000
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+set -eu
+
+for x in *; do
+    if [ -d "$x" ]; then
+        if [ -f "$x/Makefile" ]; then
+            make -C "$x" distclean
+            make -C "$x" em
+        fi
+    fi
+done
+
+echo "Compiled:"
+ls -l */*.js