-
Julian Seward authored
* Stop pipeline when recompilation not needed. * Check OPTIONS pragmas for non-dynamic flags. * Misc wibbles.
12467fbf
* Stop pipeline when recompilation not needed. * Check OPTIONS pragmas for non-dynamic flags. * Misc wibbles.