Fixes bug in cpu_relax_vc()
[akaros.git] / scripts / PATCHPLAN9
index 829c4dc..78755dd 100644 (file)
@@ -25,6 +25,8 @@ spatch --sp-file scripts/spatch/plan9.cocci --in-place $1
 spatch --sp-file scripts/spatch/scalar.cocci --in-place $1
 spatch --sp-file scripts/spatch/typedef.cocci --in-place $1
 spatch --sp-file scripts/spatch/locks.cocci --in-place $1
+spatch --sp-file scripts/spatch/rendez.cocci --in-place $1
+spatch --sp-file scripts/spatch/kproc.cocci --in-place $1
 # include fixing. Idempotent. 
 sh scripts/fixincludes $1
 # Scalars. Idempotent.
@@ -40,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