build with catkin_make with same arguments as catkin build

lucasw · Dec 31, 2023 · c5ffceb · c5ffceb
1 parent ff4f78e
commit c5ffceb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ubuntu_22_04.yml b/.github/workflows/ubuntu_22_04.yml
@@ -171,7 +171,7 @@ jobs:
           mkdir catkin_make_ws
           cd catkin_make_ws
           ln -s ../install_catkin_ws/src
-          catkin_make
+          catkin_make --cmake-args -DCMAKE_BUILD_TYPE=Release -Wno-deprecated -DCMAKE_CXX_STANDARD_INCLUDE_DIRECTORIES=$DEST/include
           source devel/setup.bash
           catkin_make run_tests
           catkin_test_results