From 9d55f51fcd4fa81089a51e766fe72e6da6cbf6c9 Mon Sep 17 00:00:00 2001 From: Ryan Slawson Date: Tue, 25 Feb 2025 10:59:02 +0100 Subject: [PATCH] Add wrapper function around the `set timeout` GDB command. --- bittide-instances/src/Bittide/Instances/Hitl/Utils/Gdb.hs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/bittide-instances/src/Bittide/Instances/Hitl/Utils/Gdb.hs b/bittide-instances/src/Bittide/Instances/Hitl/Utils/Gdb.hs index f66b185a5..708adb255 100644 --- 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