From bb11a83ff163bf11ee94cc1dee750e24f9a29482 Mon Sep 17 00:00:00 2001 From: Oli Larkin Date: Wed, 25 Jan 2023 19:31:02 +0100 Subject: [PATCH] Update Dockerfile --- .devcontainer/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 8ea99ae..a78a59f 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -7,4 +7,4 @@ RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \ RUN echo "alias python=python3 \n alias lr='ls -lart' \n alias cd..='cd ..'" >> "$HOME/.bashrc" #patch emcc.py -RUN sed -i.bak s,"if not js_manipulation.isidentifier(settings.EXPORT_NAME):","if false:",g "/emsdk/upstream/emscripten/emcc.py" +RUN sed -i.bak s,"if not js_manipulation.isidentifier(settings.EXPORT_NAME):","if False:",g "/emsdk/upstream/emscripten/emcc.py"