blob: dad3081eb579b6a595ee51bd50711d5ded66d436 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
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 --platformconfig="configs/platform-v7a/platformconfig" oldconfig $pkg
done
|