blob: bb95ed265e1921cd013bc491346d004dccafe7c1 (
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
for pcfg in configs/platform-*/platformconfig; do
$PTXDIST --platformconfig="$pcfg" "$@"
done
|