On Mon, Mar 26, 2018 at 2:55 PM, Andreas Schwab <sch...@linux-m68k.org> wrote: > On Mär 26 2018, Jakub Jelinek <ja...@redhat.com> wrote: >> On Mon, Mar 26, 2018 at 08:33:41PM +0200, Andreas Schwab wrote: >>> On Mär 26 2018, Jason Merrill <ja...@redhat.com> wrote: >>> >>> > if [catch {exec sh ulimit -v} ulimit_v] { >>> >>> expect1.1> exec sh ulimit -v >>> sh: ulimit: No such file or directory >>> while executing >>> "exec sh ulimit -v" >> >> Perhaps >> if [catch {exec sh -c ulimit -v} ulimit_v] { > > expect1.1> exec sh -c ulimit -v > unlimited > expect1.2> exec sh -c {ulimit -v} > 4194304
OK, so if ![is_remote target] { if [catch {exec sh -c "ulimit -v"} ulimit_v] { # failed to get ulimit } elseif [regexp {^[0-9]+$} $ulimit_v] { # ulimit -v gave a numeric limit return } }