![]() * Use `ssh' to copy the repo tgz, so it can also create the build directory in a single connection. * Use "racket" in the build materials directory name (since it's used in random machines). * Use `chcon' to make files accessible to the web server under selinux. * "YYYY-MM-DD HH:MM" in log time strings (leave the one on the web page as is). * Uniform machine+platform labels in headers on dispatched builds. The main build machine doesn't have them. |
||
---|---|---|
.. | ||
build | ||
contrib | ||
drdr | ||
drdr2 | ||
tree | ||
web | ||
check-dists.rkt | ||
checker.rkt | ||
dist-specs.rkt | ||
info.rkt | ||
props | ||
readme.txt | ||
spec-lang.rkt | ||
spec-reader.rkt | ||
specs.rkt |
This directory contains code that is used to manage Racket infrastructure.