From 9926a8fc866caee42d368c518ca6ab4dbd33272c Mon Sep 17 00:00:00 2001
From: Justin Handville <nanolith@gmail.com>
Date: Sat, 26 Dec 2020 03:18:36 -0500
Subject: [PATCH] OpenBSD can do binary merges with objcopy.

---
 src/goto-cc/hybrid_binary.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/goto-cc/hybrid_binary.cpp b/src/goto-cc/hybrid_binary.cpp
index d169aa6c0b7..4924e3d4903 100644
--- a/src/goto-cc/hybrid_binary.cpp
+++ b/src/goto-cc/hybrid_binary.cpp
@@ -32,7 +32,7 @@ int hybrid_binary(
 
   int result;
 
-#if defined(__linux__) || defined(__FreeBSD_kernel__)
+#if defined(__linux__) || defined(__FreeBSD_kernel__) || defined(__OpenBSD__)
   // we can use objcopy for both object files and executables
   (void)building_executable;