Go to file
Matthew Flatt ee514c1c63 Generalize use of farm config file
Change `FARM_CONFIG' to just `CONFIG' and use it on the server, too.

original commit: 3264f16b63b483b9216b17b8999b50d6ba0b181b
2013-07-02 06:40:16 -06:00
pkgs/distro-build Generalize use of farm config file 2013-07-02 06:40:16 -06:00