commit ef492b4f00282956ab266259992fa2bf86d1447f parent cbee5318a1ccf055bfd099a58bf7ab69c79937c2 Author: Christian Ermann <christianermann@gmail.com> Date: Sun, 10 Dec 2023 12:04:19 -0500 Add Windows build script Diffstat:
| A | build.bat | | | 4 | ++++ |
1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/build.bat b/build.bat @@ -0,0 +1,3 @@ +docker build . --tag forth +docker image prune -f +docker run --interactive --rm forth +\ No newline at end of file