1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/usr/bin/bash
. ../template/init.sh
cd "$(dirname "${BASH_SOURCE[0]}")"
/usr/bin/python3 -c 'import os; open("time-of-build.log", "w").write(open("time-of-build.log.in", "r").read().replace("$PWD", os.getcwd()))'
$make_one_time_file time-of-build.log time-of-build-pretty-user.log
diff -u time-of-build-pretty-user.log.expected time-of-build-pretty-user.log || exit $?
$make_one_time_file time-of-build.log time-of-build-pretty-real.log
diff -u time-of-build-pretty-real.log.expected time-of-build-pretty-real.log || exit $?
|
