Update port numbers from new unproxy ordering.
authorSteve Reinhardt <stever@eecs.umich.edu>
Thu, 7 Sep 2006 06:07:06 +0000 (02:07 -0400)
committerSteve Reinhardt <stever@eecs.umich.edu>
Thu, 7 Sep 2006 06:07:06 +0000 (02:07 -0400)
commit886c7f7458513c9d0c274fd2927d826008c34e2a
tree707386c894f7b955316d658f02c11afc06f5a93d
parentc15e6d8e0a061b82738c4d1d03bae4470d432731
Update port numbers from new unproxy ordering.

--HG--
extra : convert_revision : 514d2c53bd6afa6bea43c37c1242b6775e86c556
tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-atomic-dual/config.ini
tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-atomic/config.ini
tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing-dual/config.ini
tests/quick/10.linux-boot/ref/alpha/linux/tsunami-simple-timing/config.ini