From 48ca75555522716f0f686dcae3dd6cf3d8ad714d Mon Sep 17 00:00:00 2001 From: davidovski Date: Tue, 31 May 2022 11:05:19 +0100 Subject: removed idea of repos --- repo/libaio/gnudesignator.patch | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 repo/libaio/gnudesignator.patch (limited to 'repo/libaio/gnudesignator.patch') diff --git a/repo/libaio/gnudesignator.patch b/repo/libaio/gnudesignator.patch new file mode 100644 index 0000000..f62c407 --- /dev/null +++ b/repo/libaio/gnudesignator.patch @@ -0,0 +1,24 @@ +--- /dev/null 2022-05-16 19:50:41.952900736 +0100 ++++ build/gnudesignator.patch 2022-05-16 19:52:21.655900238 +0100 +@@ -0,0 +1,11 @@ ++--- build-old/harness/cases/13.t 2022-05-16 19:50:41.952900736 +0100 +++++ build/harness/cases/13.t 2022-05-16 19:49:43.896896077 +0100 ++@@ -35,7 +35,7 @@ ++ status |= attempt_io_submit(io_ctx, IOS, iocb_list, IOS); ++ ++ for (i=0; i