Searched refs:time_errexit (Results 1 – 1 of 1) sorted by relevance
519 time_errexit="$tmp/time_errexit.sh"520 cat > "$time_errexit" << 'EOF'525 got=$($SHELL -e "$time_errexit" 2>&1)