The makefile (counterintuitively) checks src/gen/customRuntime to see if the bytecode is up to date. By simply touch(1)-ing it, we can save maintaining a patch.main
parent
0d75cef64f
commit
86ad6b5251
@ -1,15 +0,0 @@ |
||||
diff --git a/makefile b/makefile
|
||||
index a5f3d75..f617e25 100644
|
||||
--- a/makefile
|
||||
+++ b/makefile
|
||||
@@ -109,9 +109,7 @@ ${bd}/%.o: src/builtins/%.c
|
||||
|
||||
|
||||
src/gen/customRuntime:
|
||||
- @echo "Copying precompiled bytecode from the bytecode branch"
|
||||
- git checkout remotes/origin/bytecode src/gen/{compiler,formatter,runtime0,runtime1,src}
|
||||
- git reset src/gen/{compiler,formatter,runtime0,runtime1,src}
|
||||
+ @echo "src/gen/ files retrieved externally"
|
||||
${bd}/load.o: src/gen/customRuntime
|
||||
|
||||
-include $(bd)/*.d
|
Loading…
Reference in new issue