Add a helper for blocking a uthread from VC ctx
[akaros.git] / scripts / PATCHPLAN9
index bf357c0..78755dd 100644 (file)
@@ -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