Jason Gross (Mar 20 2023 at 21:05): Jason Gross (Mar 20 2023 at 21:05):Ah, switching the shell to /bin/bash tells me that the issue is the trailing ) in CAMLP4DEPS=$(shell LC_ALL=C sed -n -e 's@^(\*.*camlp4deps: "\(.*\)".*@\1@p' $(1) \#)). But why does this work fine in the 8.5 docker image???
Paolo Giarrusso (Mar 20 2023 at 21:06):what does /bin/sh point to in both images? Was /bin/sh pointing to dash?
Paolo Giarrusso (Mar 20 2023 at 21:08):(probably obvious question)
Gaëtan Gilbert (Mar 20 2023 at 21:09):this has come up before https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs-.26-users/topic/Why.20Coq.208.2E5.2E3.20now.20FTBFS.3F
Jason Gross (Mar 20 2023 at 21:13):Ah, indeed, that patch fixes it, thank you!
Notification Bot (Mar 20 2023 at 21:14):Jason Gross has marked this topic as resolved.
Last updated: Jun 08 2023 at 04:01 UTC