Searched refs:UseDebugTerminal (Results 1 – 1 of 1) sorted by relevance
16 static PetscBool UseDebugTerminal = PETSC_TRUE; variable81 if (UseDebugTerminal) UseDebugTerminal = usedebugterminal; in PetscSetDebugger()240 …if (PetscUnlikely(!isatty(fileno(stdin))) && !UseDebugTerminal) printf("If the debugger exits imme… in PetscAttachDebugger()338 if (UseDebugTerminal) { in PetscAttachDebugger()420 if (UseDebugTerminal) { in PetscAttachDebugger()