19 lines
462 B
Text
19 lines
462 B
Text
exec >&2
|
|
. ../skip-if-minimal-do.sh
|
|
|
|
# Need to repeat this several times, on the off chance that shuffling the
|
|
# input happens to give us the same output (probability 1/factorial(9))
|
|
x=0
|
|
while [ "$x" -lt 10 ]; do
|
|
x=$(($x + 1))
|
|
rm -f out.log
|
|
redo --shuffle 1.x 2.x 3.x 4.x 5.x 6.x 7.x 8.x 9.x
|
|
sort out.log >sort.log
|
|
if ! diff -q out.log sort.log >/dev/null; then
|
|
exit 0
|
|
fi
|
|
echo "retry: #$x"
|
|
done
|
|
|
|
# still not shuffled?
|
|
exit 22
|