Diff of /benchmarks/scripts/run_sh.in

Parent Directory | Revision Log | Patch

	revision 1538, Fri Oct 14 22:07:34 2011 UTC	revision 1575, Sat Oct 29 16:50:18 2011 UTC
#	Line 10	Line 10
10
11	function usage {	function usage {
12	echo "usage:"	echo "usage:"
13	echo "  scripts/run.sh [diderotc] [diderotc-flags] [-- runtime-flags]"	echo "  scripts/run.sh nruns [diderotc-flags] [-- runtime-flags]"
14	exit $1	exit $1
15	}	}
16

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1538   changed lines   Added in v.1575

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0