From 639681fe57efde5c81cc114fa9e41a11a1c8e785 Mon Sep 17 00:00:00 2001 From: Roland Hieber Date: Wed, 13 Mar 2019 11:33:45 +0100 Subject: scripts: p-all: allow overriding ptxdist via $PTXDIST This actually makes it possible to call specific versions of PTXdist, e.g. when migrating to a specific version. Signed-off-by: Roland Hieber --- scripts/p-all | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'scripts') 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 -- cgit v1.2.3