[conf-flint] Use printf instead of echo for freebsd

bobot · bobot · commit ec336d72c9c3 · 2024-07-11T14:25:26.000+02:00
diff --git a/packages/conf-flint/conf-flint.3.0/opam b/packages/conf-flint/conf-flint.3.0/opam
@@ -4,7 +4,7 @@ homepage: "http://flint.org"
 bug-reports: "https://github.com/flintlib/flint2.git"
 license: "LGPL-2.1-only"
 build: [
-  ["sh" "-exc" "echo \"#include  <flint/flint.h>\\n#if __FLINT_VERSION < 3\\n#error \\\"Flint (>= 3.0) is not accessible\\\"\\n#endif\" > test.c"]
+  ["sh" "-exc" "printf \"#include  <flint/flint.h>\\n#if __FLINT_VERSION < 3\\n#error \\\"Flint (>= 3.0) is not accessible\\\"\\n#endif\" > test.c"]
   ["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos" & os != "win32"}
   [
 		"sh"

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ homepage: "http://flint.org"`
`4`	`4`	`bug-reports: "https://github.com/flintlib/flint2.git"`
`5`	`5`	`license: "LGPL-2.1-only"`
`6`	`6`	`build: [`
`7`		`- ["sh" "-exc" "echo \"#include <flint/flint.h>\\n#if __FLINT_VERSION < 3\\n#error \\\"Flint (>= 3.0) is not accessible\\\"\\n#endif\" > test.c"]`
	`7`	`+ ["sh" "-exc" "printf \"#include <flint/flint.h>\\n#if __FLINT_VERSION < 3\\n#error \\\"Flint (>= 3.0) is not accessible\\\"\\n#endif\" > test.c"]`
`8`	`8`	`["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos" & os != "win32"}`
`9`	`9`	`[`
`10`	`10`	`"sh"`