rcs scripts: remove bbench.rcS
authorAnthony Gutierrez <atgutier@umich.edu>
Tue, 2 Apr 2013 16:46:49 +0000 (12:46 -0400)
committerAnthony Gutierrez <atgutier@umich.edu>
Tue, 2 Apr 2013 16:46:49 +0000 (12:46 -0400)
commit7fb55b98cc63e8c08a198ae8bc9396ae96bfabe5
treee47cfa7bd974d728e54177bb5ff6a436bd750e13
parent26e96b90e15cab3f2ae645e236da590527a64f75
rcs scripts: remove bbench.rcS

this run script shouldn't be used; bbench-ics.rcS or bbench-gb.rcS
should be used instead.
configs/boot/bbench.rcS [deleted file]