- drop the '-doc-source' from csh completion (rarely used option) - includes the '-mpi-thread' and other newer options
Miscellaneous tools, scripts, templates that are useful (eg, for building applications) but don't need to be in the PATH.
- drop the '-doc-source' from csh completion (rarely used option) - includes the '-mpi-thread' and other newer options
Miscellaneous tools, scripts, templates that are useful (eg, for building applications) but don't need to be in the PATH.