Adjusting C stub compilation flags

darrenldl · darrenldl · commit 8cd73de2a77f · 2021-07-20T23:37:23.000+10:00
diff --git a/src/dune b/src/dune
@@ -13,6 +13,6 @@
  (foreign_stubs
   (language c)
   (names lt_code_stubs)
-  (flags :standard -march=native -std=c11 -fPIC -O3)
+  (flags :standard -O3)
  )
  )

Original file line number	Diff line number	Diff line change
`@@ -13,6 +13,6 @@`
`13`	`13`	`(foreign_stubs`
`14`	`14`	`(language c)`
`15`	`15`	`(names lt_code_stubs)`
`16`		`- (flags :standard -march=native -std=c11 -fPIC -O3)`
	`16`	`+ (flags :standard -O3)`
`17`	`17`	`)`
`18`	`18`	`)`