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
    }
}

Reply via email to