1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/p-all b/scripts/p-all
new file mode 100755
index 0000000..238a6a7
--- /dev/null
+++ b/scripts/p-all
@@ -0,0 +1,6 @@
+#!/bin/sh
+# Run ptxdist on all platformconfigs
+PLATFORMS="v7a v8a rpi"
+for p in $PLATFORMS; do
+	ptxdist --platformconfig=configs/platform-${p}/platformconfig "$@"
+done