Update
ci / checks (push) Successful in 1h15m13s

This commit is contained in:
khodowany
2026-09-24 06:20:37 -05:00
parent da5640291a
commit 1be98e14aa
35 changed files with 191 additions and 184 deletions
+2 -2
View File
@@ -1,4 +1,4 @@
if(NOT EXISTS "${SOURCE}/catalogue.db")
message(FATAL_ERROR "Missing generated catalogue: ${SOURCE}/catalogue.db")
if(NOT EXISTS "${SOURCE}/catalog.db")
message(FATAL_ERROR "Missing generated catalog: ${SOURCE}/catalog.db")
endif()
file(COPY "${SOURCE}/" DESTINATION "${DESTINATION}" PATTERN "*.json" EXCLUDE)