From 18171c156c2e0e998a9631d6f22a09d828f7115f Mon Sep 17 00:00:00 2001 From: Florian Albrechtskirchinger Date: Thu, 22 Sep 2022 21:38:05 +0200 Subject: [PATCH] Rename cmake/ci.cmake to cmake/json_ci.cmake --- CMakeLists.txt | 2 +- cmake/{ci.cmake => json_ci.cmake} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename cmake/{ci.cmake => json_ci.cmake} (100%) diff --git a/CMakeLists.txt b/CMakeLists.txt index cf9184080..667a7dbf1 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -30,7 +30,7 @@ include(json_opts) # add CI targets if(JSON_CI) - include(ci) + include(json_ci) endif() ############################################################################# diff --git a/cmake/ci.cmake b/cmake/json_ci.cmake similarity index 100% rename from cmake/ci.cmake rename to cmake/json_ci.cmake