From e1549c75c26535c15eddb5dbf49353c7b04df6c0 Mon Sep 17 00:00:00 2001
From: Thomas Jahns <jahns@dkrz.de>
Date: Thu, 1 Feb 2018 10:49:16 +0100
Subject: [PATCH] Fix missing/misplaced commas in JSON.
---
cdi.settings.in | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/cdi.settings.in b/cdi.settings.in
index eb9a70a56..19381c509 100644
--- a/cdi.settings.in
+++ b/cdi.settings.in
@@ -42,17 +42,17 @@
"grib_api" : {
"lib" : "@GRIB_API_LIBS@",
"include" : "@GRIB_API_INCLUDE@"
- }
+ },
"eccodes" : {
"lib" : "@ECCODES_LIBS@",
"include" : "@ECCODES_INCLUDE@"
}
- }
+ },
"platform" : {
"USER_NAME" : "@USER_NAME@",
"HOST_NAME" : "@HOST_NAME@",
"SYSTEM_TYPE" : "@SYSTEM_TYPE@"
- },
+ }
},
"features" : {
"enable_cdi_lib" : @ENABLE_CDI_LIB@,
--
GitLab