diff options
Diffstat (limited to 'regress-driver')
| -rwxr-xr-x | regress-driver | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/regress-driver b/regress-driver index f3b886ea..4289af2d 100755 --- a/regress-driver +++ b/regress-driver @@ -197,8 +197,9 @@ endtime=`date +"%s * 1000000000 + %N" | sed '/+ N/s///' 2>/dev/null` if [ "$starttime" -a "$endtime" ] then - echo -n "Elapsed time: " - echo "scale=2; (${endtime} - ${starttime}) / 1000000000" | bc + # Avoid using -n here since some shells don't support it. + echo "Elapsed time:" \ + $(echo "scale=2; (${endtime} - ${starttime}) / 1000000000" | bc) >&2 fi rm -fr ${TMP} |