From ad783018bd66866a4de2bb88fbafe9de929fb697 Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Thu, 25 Aug 2022 20:59:35 +0200
Subject: [PATCH] add some more compile options

---
 CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index bc1300d0..5d14f7b3 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -327,6 +327,7 @@ if(CMAKE_CXX_COMPILER_ID STREQUAL "GNU")
   )  
   target_compile_options(${OBSW_NAME} PRIVATE ${WARNING_FLAGS})
   target_compile_options(${LIB_EIVE_MISSION} PRIVATE ${WARNING_FLAGS})
+  target_compile_options(${LIB_DUMMIES} PRIVATE ${WARNING_FLAGS})
 endif()
 
 set_target_properties(${OBSW_NAME} PROPERTIES OUTPUT_NAME ${OBSW_BIN_NAME})