diff --git a/pd/src/s_main.c b/pd/src/s_main.c index d9901706ba5975cc6b09292d70317a6aee28e915..161b0b112d695710d68bd147fb2cffc16f6a61ac 100644 --- a/pd/src/s_main.c +++ b/pd/src/s_main.c @@ -970,6 +970,13 @@ int sys_argparse(int argc, char **argv) return (1); } } + if (sys_listplease && !sys_printtostderr) + { + // if we asked to list devices and are not using stderr output + // open console to facilitate understanding where devices have + // been listed + sys_console = 1; + } if (!sys_defaultfont) sys_defaultfont = DEFAULTFONT; for (; argc > 0; argc--, argv++)