diff --git a/dejagnu b/dejagnu index 98d75813f06..3ea7702a75a 160000 --- a/dejagnu +++ b/dejagnu @@ -1 +1 @@ -Subproject commit 98d75813f06ff2b0bb0d721558fce51db7e9ca6e +Subproject commit 3ea7702a75a6b7a51a70a9e91c20eeff339ad007