use bash builtin time instead of
assuming /usr/bin/time exists.
R=r
https://golang.org/cl/152124
-#!/bin/sh
+#!/bin/bash
# Copyright 2009 The Go Authors. All rights reserved.
# Use of this source code is governed by a BSD-style
# license that can be found in the LICENSE file.
export F=$(basename $i .go)
export D=$dir
sed '/^\/\//!q' $i | sed 's@//@@; $d' |sed 's|./\$A.out|$E &|' >$RUNFILE
- if ! /usr/bin/time -p sh -c "sh $RUNFILE >$TMP1FILE 2>&1" 2>$TMP2FILE
+ if ! time -p bash -c "bash $RUNFILE >$TMP1FILE 2>&1" 2>$TMP2FILE
then
echo
echo "===========" $i