diff --git a/dejagnu b/dejagnu index 935a51f3..98d75813 160000 --- a/dejagnu +++ b/dejagnu @@ -1 +1 @@ -Subproject commit 935a51f3c66ece357ce0d18f3aa3627a13cef7d5 +Subproject commit 98d75813f06ff2b0bb0d721558fce51db7e9ca6e