Diff of /benchmarks/scripts/run-one_sh.in

Parent Directory | Revision Log | Patch

	revision 1656, Tue Nov 22 18:31:51 2011 UTC	revision 1657, Tue Nov 22 18:45:05 2011 UTC
#	Line 58	Line 58
58	shift	shift
59	done	done
60	# get runtime flags	# get runtime flags
61	if [ $# -gt 0 ] ; do	if [ $# -gt 0 ] ; then
62	RUNTIME_FLAGS="$*"	RUNTIME_FLAGS="$*"
63	else	else
64	RUNTIME_FLAGS=""	RUNTIME_FLAGS=""

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1656   changed lines   Added in v.1657

---

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