| 123456789101112131415161718192021222324252627282930 |
- #!/usr/bin/env bash
- if [ $# -eq 1 ]
- then
- basename=`echo $1 | sed 's/.b$//'`
- else
- basename=_tmp
- cat > ${basename}.b
- fi
- mytime () {
- (`which time` -f %e $1 > /dev/null) 2>&1
- }
- compile () {
- echo -n "compiling $1... "
- t=`mytime "make -s $basename-$1"`
- echo "took $t seconds"
- }
- set -e
- compile opt
- compile c
- compile nayuki
- echo "opt: `mytime ./$basename-opt`"
- echo "c: `mytime ./$basename-c`"
- echo "nayuki: `mytime ./$basename-nayuki`"
- rm -f _tmp*
|
