summarylogtreecommitdiffstats
path: root/unblock-distro.patch
blob: 2d351b28c03654fed0b43e5fc0b827c849d1354e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
diff --color --unified --recursive --text '--exclude=.git' '--exclude=generated' '--exclude=build' '--exclude=_build' OpenRV.clean/cmake/defaults/rv_targets.cmake OpenRV/cmake/defaults/rv_targets.cmake
--- OpenRV.clean/cmake/defaults/rv_targets.cmake	2023-08-31 22:20:32.446579339 -0700
+++ OpenRV/cmake/defaults/rv_targets.cmake	2023-09-01 13:57:53.747817605 -0700
@@ -113,7 +113,7 @@
         BOOL TRUE "Detected a Redhat Entreprise Linux OS"
     )
   ELSE()
-    MESSAGE(FATAL_ERROR "Unknown or unsupported Linux distribution version; stopping configuration!")
+    MESSAGE(WARNING "Unknown or unsupported Linux distribution version!")
   ENDIF()
 ELSEIF(WIN32)
   MESSAGE(STATUS "Building RV for Microsoft Windows")