diff options
author | Roland Hieber <rhi@pengutronix.de> | 2022-09-05 13:07:09 +0200 |
---|---|---|
committer | Robert Schwebel <r.schwebel@pengutronix.de> | 2022-09-06 16:11:20 +0200 |
commit | 908158902f9c2ddd9c71054ba8eb071e6e202bcf (patch) | |
tree | 74df8b0e2ff80295f8928798198f4153ac45ac7a | |
parent | bdbc29e43c934c8698ec1192d4f7a3f1a937611f (diff) | |
download | DistroKit-908158902f9c2ddd9c71054ba8eb071e6e202bcf.tar.gz DistroKit-908158902f9c2ddd9c71054ba8eb071e6e202bcf.tar.xz |
scripts: update-diffs-v7a.sh: fix ptxdist path
Use the same detection logic as in update-diffs-mips.sh, in case a
different PTXdist version is to be used.
Signed-off-by: Roland Hieber <rhi@pengutronix.de>
Link: https://lore.pengutronix.de/20220905110709.1832516-6-rhi@pengutronix.de
Signed-off-by: Robert Schwebel <r.schwebel@pengutronix.de>
-rwxr-xr-x | scripts/update-diffs-v7a.sh | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/scripts/update-diffs-v7a.sh b/scripts/update-diffs-v7a.sh index 0de34e4..dad3081 100755 --- a/scripts/update-diffs-v7a.sh +++ b/scripts/update-diffs-v7a.sh @@ -1,6 +1,14 @@ #!/bin/sh +if [ -z "$PTXDIST" ]; then + PTXDIST=ptxdist +else + tput setaf 3 # yellow + echo Note: using PTXDIST=$PTXDIST + tput sgr 0 # back to normal +fi + BAREBOXES="barebox-common barebox-am335x barebox-mx6 barebox-rpi2 barebox-vexpress" for pkg in $BAREBOXES; do - ptxdist/bin/ptxdist oldconfig $pkg + $PTXDIST --platformconfig="configs/platform-v7a/platformconfig" oldconfig $pkg done |