. ../../../testutils.sh

check B.idr

# Set very close time for A and B TTC files
touch A.idr
sync A.idr
touch B.idr
sync B.idr
touch build/ttc/*/A.tt*
sync build/ttc/*/A.tt*
touch build/ttc/*/B.tt*
sync build/ttc/*/B.tt*

echo "-- this should be the last line of output --"

check B.idr
