mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-02-18 17:25:49 +01:00
automated: add back .log extensions to log files
This commit is contained in:
parent
53d03d0e01
commit
3421c957ff
@ -3,5 +3,5 @@
|
|||||||
cd "$(dirname "${BASH_SOURCE[0]}")"
|
cd "$(dirname "${BASH_SOURCE[0]}")"
|
||||||
|
|
||||||
git pull
|
git pull
|
||||||
time script -q -c "./build.sh $*" $1-build-$(date -u +%F_%T)
|
time script -q -c "./build.sh $*" $1-build-$(date -u +%F_%T).log
|
||||||
date
|
date
|
||||||
|
|||||||
@ -9,7 +9,7 @@ esac
|
|||||||
|
|
||||||
while true; do
|
while true; do
|
||||||
git pull
|
git pull
|
||||||
time script -q -c "./build.sh nightly-$(date -u +%F) $cmd" nightly-build-$(date -u +%F_%T)
|
time script -q -c "./build.sh nightly-$(date -u +%F) $cmd" nightly-build-$(date -u +%F_%T).log
|
||||||
${cmd:+exit 0}
|
${cmd:+exit 0}
|
||||||
${once:+date; exit 0}
|
${once:+date; exit 0}
|
||||||
echo "$0: run completed at $(date)"
|
echo "$0: run completed at $(date)"
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user