fix generate script

JuliaServices · Apr 23, 2024 · 7a8486a · 7a8486a
1 parent f02f6d1
commit 7a8486a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gen/generate.sh b/gen/generate.sh
@@ -1,4 +1,4 @@
 #!/bin/bash
 dir=$(dirname "$0")
-julia +1.10 --project="$dir" -e 'using Pkg; Pkg.instantiate()'
-julia +1.10 --project="$dir" -t auto "$dir/generator.jl"
+julia --project="$dir" -e 'using Pkg; Pkg.instantiate()'
+julia --project="$dir" -t auto "$dir/generator.jl"