diff --git a/dejagnu b/dejagnu index ca371cf9c48..935a51f3c66 160000 --- a/dejagnu +++ b/dejagnu @@ -1 +1 @@ -Subproject commit ca371cf9c48186716d26c8e10d442affaf002c80 +Subproject commit 935a51f3c66ece357ce0d18f3aa3627a13cef7d5