diff options
author | Roland Hieber <rhi@pengutronix.de> | 2019-03-13 11:33:45 +0100 |
---|---|---|
committer | Robert Schwebel <r.schwebel@pengutronix.de> | 2019-03-13 11:46:56 +0100 |
commit | 639681fe57efde5c81cc114fa9e41a11a1c8e785 (patch) | |
tree | f5fbc0a210c19ef1aa9a615814c4ed5a322508ef | |
parent | 2da6274d1401eee1105da9d9f6320ee0830fbc49 (diff) | |
download | DistroKit-639681fe57efde5c81cc114fa9e41a11a1c8e785.tar.gz DistroKit-639681fe57efde5c81cc114fa9e41a11a1c8e785.tar.xz |
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 <rhi@pengutronix.de>
-rwxr-xr-x | scripts/p-all | 9 |
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 |