#!/bin/ksh # # A script for running a single Diderot benchmark test. The results are output to a # JSON file named -report.-