From a2530db180a693545a5465a46b9f878bbe876914 Mon Sep 17 00:00:00 2001 From: Justus Winter Date: Sun, 28 Feb 2016 00:18:48 +0100 Subject: drop old patch series --- debian/patches/700005-Fix-synchronization.patch | 33 ------------------------- 1 file changed, 33 deletions(-) delete mode 100644 debian/patches/700005-Fix-synchronization.patch (limited to 'debian/patches/700005-Fix-synchronization.patch') diff --git a/debian/patches/700005-Fix-synchronization.patch b/debian/patches/700005-Fix-synchronization.patch deleted file mode 100644 index be7258c..0000000 --- a/debian/patches/700005-Fix-synchronization.patch +++ /dev/null @@ -1,33 +0,0 @@ -From 6632518b1183e15f2016ec53088e3f26f151a96d Mon Sep 17 00:00:00 2001 -From: Justus Winter -Date: Fri, 26 Feb 2016 13:21:12 +0100 -Subject: [PATCH gnumach 05/15] Fix synchronization - ---- - device/intr.c | 3 +-- - 1 file changed, 1 insertion(+), 2 deletions(-) - -diff --git a/device/intr.c b/device/intr.c -index 177c095..1e5a3ea 100644 ---- a/device/intr.c -+++ b/device/intr.c -@@ -123,6 +123,7 @@ intr_thread () - - for (;;) - { -+ assert_wait ((event_t) &intr_thread, FALSE); - cli (); - while (tot_num_intr) - { -@@ -162,8 +163,6 @@ intr_thread () - } - } - sti (); -- -- assert_wait ((event_t) &intr_thread, FALSE); - thread_block (thread_no_continuation); - } - } --- -2.1.4 - -- cgit v1.2.3