blob: bdef601ad99ced5e36f30f32dfdf7e98dfdf66a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
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 "$@"
done
|