FreeBSD supports hybrid binaries

It works for both FreeBSD kernel-only as well as full FreeBSD userland.
diffblue · Oct 13, 2023 · c3e7202 · c3e7202
1 parent bf49881
commit c3e7202
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/goto-cc/hybrid_binary.cpp b/src/goto-cc/hybrid_binary.cpp
@@ -48,7 +48,8 @@ int hybrid_binary(
 
   int result = 0;
 
-#if defined(__linux__) || defined(__FreeBSD_kernel__) || defined(__OpenBSD__)
+#if defined(__linux__) || defined(__FreeBSD_kernel__) || \
+  defined(__FreeBSD__) || defined(__OpenBSD__)
   // we can use objcopy for both object files and executables
   (void)building_executable;