Add a helper for blocking a uthread from VC ctx

[akaros.git] / scripts / PATCHPLAN9

diff --git a/scripts/PATCHPLAN9 b/scripts/PATCHPLAN9
index bf357c0..78755dd 100644 (file)
--- a/scripts/PATCHPLAN9
+++ b/scripts/PATCHPLAN9
@@ -42,11 +42,4 @@ spatch --sp-file scripts/spatch/malloc.cocci --in-place $1
 sh scripts/plan9 $1
 # kref. Idempotent.
 spatch --sp-file scripts/spatch/kref.cocci --in-place $1
-ed $1 << EOF
-1i
-// INFERNO
-.
-w
-q
-EOF