diff --git a/makefile b/makefile index d81dd15b..e90007d0 100644 --- a/makefile +++ b/makefile @@ -199,8 +199,8 @@ ${bd}/%.o: src/builtins/%.c src/gen/customRuntime: @echo "Copying precompiled bytecode from the bytecode branch" - git checkout remotes/origin/bytecode src/gen/{compiles,formatter,runtime0,runtime1,src} - git reset src/gen/{compiles,formatter,runtime0,runtime1,src} + git checkout remotes/origin/bytecode src/gen/{compiles,formatter,runtime0,runtime1,src,explain} + git reset src/gen/{compiles,formatter,runtime0,runtime1,src,explain} ${bd}/load.o: src/gen/customRuntime