Fix the splash2 run script
authorRon Dreslinski <rdreslin@umich.edu>
Mon, 23 Apr 2007 20:03:53 +0000 (16:03 -0400)
committerRon Dreslinski <rdreslin@umich.edu>
Mon, 23 Apr 2007 20:03:53 +0000 (16:03 -0400)
commitc47804002aa8ae456ac95b8ee7be06cc56ca1b34
tree074837d6dcf3bbba3209cff45a2b7b3cc53a2333
parent3eb4ba3abb0457fce0415b9fd5afb623028b1482
Fix the splash2 run script

--HG--
extra : convert_revision : 2b5f6718ac93d3d1b9b1d1b290f1ff5fa10cd0d8
configs/splash2/run.py