From da39a1b040e0db690fde19a2b2645e1843269b0a Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Tue, 10 Mar 2015 14:47:17 -0700 Subject: [PATCH] smp: without-interrupts: rep.scm --- README.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.txt b/README.txt index 0b4bd01fd..5325082a0 100644 --- a/README.txt +++ b/README.txt @@ -1521,6 +1521,9 @@ The hits with accompanying analysis: rep.scm:141: (with-interrupt-mask interrupt-mask/all + OK. The unmasking of all interrupts ensures that the repl can + be interrupted even if created with interrupts masked(?). + rgxcmp.scm:161: (without-interrupts rgxcmp.scm:169: (without-interrupts -- 2.25.1