Fix CI

panglesd · panglesd · commit e2c23fb6177e · 2025-02-14T13:11:21.000+01:00
diff --git a/release/Dockerfile b/release/Dockerfile
@@ -8,5 +8,5 @@ RUN opam install -y --deps-only --with-test --with-doc .
 
 COPY --chown=opam . .
 
-RUN sed  -i 's/"()"/"(-cclib -static -cclib -no-pie)"/g' src/compiler/src/bin/static-linking-flags/static_linking_flags.ml
+RUN sed -i 's/"()"/"(-cclib -static -cclib -no-pie)"/g' src/compiler/bin/static-linking-flags/static_linking_flags.ml
 

Original file line number	Diff line number	Diff line change
`@@ -8,5 +8,5 @@ RUN opam install -y --deps-only --with-test --with-doc .`
`8`	`8`
`9`	`9`	`COPY --chown=opam . .`
`10`	`10`
`11`		`-RUN sed -i 's/"()"/"(-cclib -static -cclib -no-pie)"/g' src/compiler/src/bin/static-linking-flags/static_linking_flags.ml`
	`11`	`+RUN sed -i 's/"()"/"(-cclib -static -cclib -no-pie)"/g' src/compiler/bin/static-linking-flags/static_linking_flags.ml`
`12`	`12`