FreeBSD: default flavor is now CLANG

Daniel Kroening · Daniel Kroening · commit 2204f3a2eaa7 · 2018-07-28T15:27:09.000+01:00
diff --git a/src/util/config.cpp b/src/util/config.cpp
@@ -906,7 +906,7 @@ bool configt::set(const cmdlinet &cmdline)
   {
     ansi_c.lib=configt::ansi_ct::libt::LIB_FULL;
     ansi_c.os=configt::ansi_ct::ost::OS_LINUX;
-    ansi_c.mode=ansi_ct::flavourt::GCC;
+    ansi_c.mode=ansi_ct::flavourt::CLANG;
     ansi_c.preprocessor=ansi_ct::preprocessort::CLANG;
   }
   else

Original file line number	Diff line number	Diff line change
`@@ -906,7 +906,7 @@ bool configt::set(const cmdlinet &cmdline)`
`906`	`906`	`{`
`907`	`907`	`ansi_c.lib=configt::ansi_ct::libt::LIB_FULL;`
`908`	`908`	`ansi_c.os=configt::ansi_ct::ost::OS_LINUX;`
`909`		`- ansi_c.mode=ansi_ct::flavourt::GCC;`
	`909`	`+ ansi_c.mode=ansi_ct::flavourt::CLANG;`
`910`	`910`	`ansi_c.preprocessor=ansi_ct::preprocessort::CLANG;`
`911`	`911`	`}`
`912`	`912`	`else`