https://issues.dlang.org/show_bug.cgi?id=14502

--- Comment #8 from Tomáš Chaloupka <chalu...@gmail.com> ---
Actually read it before. Tried to use prepared script with specific backtrace,
but could not make it work with timeout (wrong output from gdb then).

So now trying with just simple:

#!/bin/bash
TIME=12
timeout $TIME rdmd --force -O -release test.d 2>&1 > /dev/null
if [ $? -eq 139 ]; then
    timeout $TIME rdmd --force -release test.d 2>&1 > /dev/null
    if [ $? -eq 124 ]; then
        timeout $TIME rdmd --force test.d 2>&1 > /dev/null
        if [ $? -eq 124 ]; then
            exit 0
        else
            exit 1
        fi
    else
        exit 1
    fi
fi
exit 1

which is at least faster thanks to timeout usage.

--

Reply via email to