extra bin

jginternational · jginternational · commit 21ef0b63b9d3 · 2023-10-02T15:38:00.000+02:00
diff --git a/kratos.gid/exec/compiled.unix.bat b/kratos.gid/exec/compiled.unix.bat
@@ -38,4 +38,4 @@ KERNEL_NAME="linux"
 
 
 # Run Python using the script MainKratos.py
-$python_path/python3 MainKratos.py > "$2/$1.info" 2> "$2/$1.err"
+$python_path MainKratos.py > "$2/$1.info" 2> "$2/$1.err"

Original file line number	Diff line number	Diff line change
`@@ -38,4 +38,4 @@ KERNEL_NAME="linux"`
`38`	`38`
`39`	`39`
`40`	`40`	`# Run Python using the script MainKratos.py`
`41`		`-$python_path/python3 MainKratos.py > "$2/$1.info" 2> "$2/$1.err"`
	`41`	`+$python_path MainKratos.py > "$2/$1.info" 2> "$2/$1.err"`