chiark / gitweb /
core: if we cannot JOB_ISOLATE the default target JOB_REPLACE it instead