julia -> Base.julia_cmd()

Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
oscar-system · Aug 30, 2023 · 7af4c60 · 7af4c60
1 parent c09de4c
commit 7af4c60
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/utils/docs.jl b/src/utils/docs.jl
@@ -120,7 +120,7 @@ function start_doc_preview_server(;open_browser::Bool = true, port::Int = 8000)
         using LiveServer;
         LiveServer.serve(dir = "$build_dir", launch_browser = $open_browser, port = $port);
         """
-  live_server_process = run(`julia -e $cmd`, wait = false)
+  live_server_process = run(`$(Base.julia_cmd()) -e $cmd`, wait = false)
   atexit(_ -> kill(live_server_process))
   @info "Starting server with PID $(getpid(live_server_process)) listening on 127.0.0.1:$port"
   return nothing