FreeBSD: default flavor is now CLANG

Daniel Kroening · Daniel Kroening · commit e8b067db4288 · 2018-07-30T17:53:19.000+01:00
diff --git a/src/util/config.cpp b/src/util/config.cpp
@@ -905,7 +905,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
`@@ -905,7 +905,7 @@ bool configt::set(const cmdlinet &cmdline)`
`905`	`905`	`{`
`906`	`906`	`ansi_c.lib=configt::ansi_ct::libt::LIB_FULL;`
`907`	`907`	`ansi_c.os=configt::ansi_ct::ost::OS_LINUX;`
`908`		`- ansi_c.mode=ansi_ct::flavourt::GCC;`
	`908`	`+ ansi_c.mode=ansi_ct::flavourt::CLANG;`
`909`	`909`	`ansi_c.preprocessor=ansi_ct::preprocessort::CLANG;`
`910`	`910`	`}`
`911`	`911`	`else`