Merge pull request #726 from bittide/rs/gdb-timeout

Add wrapper function around the `set timeout` GDB command.
bittide · Feb 26, 2025 · df8c8bd · df8c8bd
2 parents a883e38 + 9d55f51
commit df8c8bd
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/bittide-instances/src/Bittide/Instances/Hitl/Utils/Gdb.hs b/bittide-instances/src/Bittide/Instances/Hitl/Utils/Gdb.hs
@@ -115,6 +115,12 @@ setFile :: ProcessStdIoHandles -> FilePath -> IO ()
 setFile gdb filePath = do
   runCommands gdb.stdinHandle ["file " <> filePath]
 
+setTimeout :: ProcessStdIoHandles -> Maybe Int -> IO ()
+setTimeout gdb Nothing = do
+  runCommands gdb.stdinHandle ["set remotetimeout unlimited"]
+setTimeout gdb (Just (show -> time)) = do
+  runCommands gdb.stdinHandle ["set remotetimeout " <> time]
+
 -- | Sets breakpoints on functions in gdb.
 setBreakpoints :: ProcessStdIoHandles -> [String] -> IO ()
 setBreakpoints gdb breakpoints = do