summaryrefslogtreecommitdiffstats
path: root/scripts/p-all
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