diff options
-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 |