diff --git a/dejagnu b/dejagnu index 3ea7702a75a..899e1510216 160000 --- a/dejagnu +++ b/dejagnu @@ -1 +1 @@ -Subproject commit 3ea7702a75a6b7a51a70a9e91c20eeff339ad007 +Subproject commit 899e1510216ed1e17af7b21751b6caa38fbfce4d diff --git a/pk b/pk index abadfdc507d..9c61d29846d 160000 --- a/pk +++ b/pk @@ -1 +1 @@ -Subproject commit abadfdc507d5a75b6272dc360e70a80a510c758a +Subproject commit 9c61d29846d8521d9487a57739330f9682d5b542 diff --git a/spike b/spike index 88fc84ded15..217cbc50779 160000 --- a/spike +++ b/spike @@ -1 +1 @@ -Subproject commit 88fc84ded155a9e01987c4dfb7a77800e69b232b +Subproject commit 217cbc507791fc6533d597e23efa656524a664a6