mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-02-21 02:35:48 +01:00
automated: use + separator for date+time
Some checks failed
check / Stackage check (push) Has been cancelled
Some checks failed
check / Stackage check (push) Has been cancelled
I keep seeing day_hour as hour_min
This commit is contained in:
parent
3fb5ae5605
commit
2b818000cf
@ -3,7 +3,7 @@
|
|||||||
cd "$(dirname "${BASH_SOURCE[0]}")"
|
cd "$(dirname "${BASH_SOURCE[0]}")"
|
||||||
|
|
||||||
git pull
|
git pull
|
||||||
LOG_FILE="$1-build-$(date -u +%F_%T).log"
|
LOG_FILE="$1-build-$(date -u +%F+%T).log"
|
||||||
ln -sf $LOG_FILE lts-build.log
|
ln -sf $LOG_FILE lts-build.log
|
||||||
time script -q -c "./build.sh $*" $LOG_FILE
|
time script -q -c "./build.sh $*" $LOG_FILE
|
||||||
touch -h lts-build.log
|
touch -h lts-build.log
|
||||||
|
|||||||
@ -9,7 +9,7 @@ esac
|
|||||||
|
|
||||||
while true; do
|
while true; do
|
||||||
git pull
|
git pull
|
||||||
LOG_FILE="nightly-build-$(date -u +%F_%T).log"
|
LOG_FILE="nightly-build-$(date -u +%F+%T).log"
|
||||||
if [ -L nightly-build.log ]; then
|
if [ -L nightly-build.log ]; then
|
||||||
mv -f nightly-build.log nightly-build-previous.log
|
mv -f nightly-build.log nightly-build-previous.log
|
||||||
fi
|
fi
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user