blob: 4a50759bdbef696ecbc22f3a29f0a54f9bef57c0 (
plain)
1
2
3
4
5
6
7
8
9
10
|
#!/usr/bin/env bash
set -x
set -e
cd "$(dirname "${BASH_SOURCE[0]}")"
"$COQLIB"/tools/make-both-time-files.py time-of-build-after.log.in time-of-build-before.log.in time-of-build-both.log
diff -u time-of-build-both.log.expected time-of-build-both.log || exit $?
|