Jens Petersen 37b14ac860 run-nightly.sh: run cron.sh in the background ... Check that cron.sh is not already running. With no new snapshot cron.sh takes about 1min.		2016-12-06 16:24:50 +09:00
..
.gitignore	Modifications for automated builds on new server	2016-08-03 13:38:23 +00:00
build.sh	Do pre-build actions even with NOPLAN=1	2016-11-01 09:20:45 +00:00
check-cabal.sh	Initial check-cabal.sh	2016-04-24 16:23:25 +00:00
cron.sh	Fix a buggy shell script	2016-12-02 04:52:50 +00:00
run-nightly.sh	run-nightly.sh: run cron.sh in the background	2016-12-06 16:24:50 +09:00