| http://www.w3.org/ns/prov#value | - Then restart the build master: 44 45{{{ 46$ ssh [email protected] cd master; make reconfig 47}}} 3748 3849If there is anything unusual about the machine the build is being run on, e.g. the path to `gcc` is different, then you will need to add a field for the unusual thing to GhcDefaultConfig and alter the build steps to make use of it.
|
