Searched refs:usedebugterminal (Results 1 – 1 of 1) sorted by relevance
77 PetscErrorCode PetscSetDebugger(const char debugger[], PetscBool usedebugterminal) in PetscSetDebugger() argument81 if (UseDebugTerminal) UseDebugTerminal = usedebugterminal; in PetscSetDebugger()