Merge pull request #3 from terasakisatoshi/remove-intermediate-kernel

remove intermediate kernel
terasakisatoshi · Nov 17, 2021 · 8401d49 · 8401d49
2 parents 3c2a188 + 14ab7ad
commit 8401d49
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -10,6 +10,7 @@ traced_runtests.jl traced_nb.jl: tracecompile.jl nb.jl
 	julia --project=@. --trace-compile=traced_runtests.jl tracecompile.jl
 	julia --project=@. installkernel.jl
 	julia --project=@. executenb.jl
+	julia --project=@. removekernel.jl
 
 build: traced_runtests.jl traced_nb.jl
 	julia --project=@. build.jl

diff --git a/removekernel.jl b/removekernel.jl
@@ -0,0 +1,10 @@
+using IJulia: kerneldir
+
+rm(
+    joinpath(
+        kerneldir(),
+        "julia-trace-$(VERSION.major).$(VERSION.minor)",
+    ),
+    force=true,
+    recursive=true,
+)