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;