/test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/

• ../
• run.sh
• time-of-build-after.log.in
• time-of-build-before.log.in
• time-of-build-both-real-absolute.log.expected
• time-of-build-both-real-auto.log.expected
• time-of-build-both-real-diff.log.expected
• time-of-build-both-real.log.expected
• time-of-build-both-user-absolute.log.expected
• time-of-build-both-user-auto.log.expected
• time-of-build-both-user-diff.log.expected
• time-of-build-both-user.log.expected