triple=$(sh $srcdir/gib/set.triple.sh)
sed -e "s,@TRIPLE@,$triple,g" < "$1" > "$2"
