From 1a11c75f3aceefacc933f25c10c2d846ba073591 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Johannes=20M=C3=BCller?= Date: Thu, 2 May 2024 20:25:47 +0200 Subject: [PATCH] Drop workaround for shards makefile error --- linux/Dockerfile | 2 -- 1 file changed, 2 deletions(-) diff --git a/linux/Dockerfile b/linux/Dockerfile index 7ae24e60..e4de2d13 100644 --- a/linux/Dockerfile +++ b/linux/Dockerfile @@ -78,8 +78,6 @@ ARG musl_target RUN git clone https://github.com/crystal-lang/shards \ && cd shards \ && git checkout ${shards_version} \ - # FIXME: Remove this workaround for https://github.com/crystal-lang/crystal/issues/10861 - && touch shard.lock \ && make SHARDS=false CRYSTAL=/crystal/bin/crystal \ FLAGS="--stats --target ${musl_target} --static ${release:+--release}" \ \