summaryrefslogtreecommitdiffstats
path: root/scripts/p-all
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/p-all')
-rwxr-xr-xscripts/p-all9
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/p-all b/scripts/p-all
index 238a6a7..bdef601 100755
--- a/scripts/p-all
+++ b/scripts/p-all
@@ -1,6 +1,13 @@
#!/bin/sh
# Run ptxdist on all platformconfigs
+if [ -z "$PTXDIST" ]; then
+ PTXDIST=ptxdist
+else
+ tput setaf 3 # yellow
+ echo Note: using PTXDIST=$PTXDIST
+ tput sgr 0 # back to normal
+fi
PLATFORMS="v7a v8a rpi"
for p in $PLATFORMS; do
- ptxdist --platformconfig=configs/platform-${p}/platformconfig "$@"
+ $PTXDIST --platformconfig=configs/platform-${p}/platformconfig "$@"
done