Configs: Fix for benchmarks that don't use getopt.
authorAli Saidi <saidi@eecs.umich.edu>
Thu, 15 Nov 2007 17:58:06 +0000 (12:58 -0500)
committerAli Saidi <saidi@eecs.umich.edu>
Thu, 15 Nov 2007 17:58:06 +0000 (12:58 -0500)
commit0896b5b8974a79afd98ef08f69d21626ef9adf21
tree190ee95216e89eab76bb936298bc0655f09ad0ac
parent185f0eb1344d51fd866bdfff383b907f3b53ec62
Configs: Fix for benchmarks that don't use getopt.

--HG--
extra : convert_revision : 6cbc7bb360c282821dd9da7814e0ac8b689f5d01
configs/splash2/run.py