diff options
| author | Camil Staps | 2017-09-11 13:08:48 +0200 |
|---|---|---|
| committer | Camil Staps | 2017-09-11 13:08:48 +0200 |
| commit | e921657e52e92fe982960c1c8bc2fa2d6abe10e7 (patch) | |
| tree | 34d3e905092274b9447e0c7d1bfcb025a356a44a | |
| parent | Workaround elf_relocations issue (resolves #4) (diff) | |
Fix docker build
| -rw-r--r-- | Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -10,6 +10,7 @@ WORKDIR /usr/src/iclean RUN PACKAGES="libreadline-dev make gcc" \ && apt-get update -qq \ && apt-get install -qq $PACKAGES --no-install-recommends \ + && ln -s /opt/clean/lib/clean-platform/OS-Independent /opt/clean/lib/Platform \ && make -B \ # Cleanup && rm -rf \ |