Update Dockerfile to match setup.sh

picoruby · Nov 23, 2021 · 45efaae · 45efaae
1 parent 25b3660
commit 45efaae
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -39,7 +39,11 @@ WORKDIR "${PRK_HOME}/keyboards"
 
 WORKDIR "${PRK_HOME}/keyboards/${KEYBOARD}/build"
 
+RUN touch ../../../lib/picoruby/src/mrubyc/src/mrblib.c
+RUN touch ../../../lib/picoruby/src/mrubyc/src/hal_user_reserved/hal.c
 RUN cmake ../../..
+RUN rm ../../../lib/picoruby/src/mrubyc/src/mrblib.c
+RUN rm ../../../lib/picoruby/src/mrubyc/src/hal_user_reserved/hal.c
 RUN make
 
 FROM scratch AS export