Skip to content

Instantly share code, notes, and snippets.

@charlie5

charlie5/gist:4aa5a388238518885adddce70e45442d

Created June 16, 2016 08:03
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save charlie5/4aa5a388238518885adddce70e45442d to your computer and use it in GitHub Desktop.
Save charlie5/4aa5a388238518885adddce70e45442d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
*** kernel/src/gps-kernel-timeout.adb Fri Nov 14 05:15:57 2014
--- kernel/src/gps-kernel-timeout.adb-new Thu Jun 16 17:52:01 2016
***************
*** 587,593 ****
if Line_By_Line then
Expect_Regexp := new Pattern_Matcher'(Compile ("^.*?\n"));
else
! Expect_Regexp := new Pattern_Matcher'(Compile (".*$", Single_Line));
end if;
if Name_In_Task_Manager /= "" then
--- 587,593 ----
if Line_By_Line then
Expect_Regexp := new Pattern_Matcher'(Compile ("^.*?\n"));
else
! Expect_Regexp := new Pattern_Matcher'(Compile (".*", Single_Line));
end if;
if Name_In_Task_Manager /= "" then
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment