From 233f5642a34bf46d54978c8663fe927ee4065df3 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Mon, 6 Apr 2020 13:32:41 +0200
Subject: items: Use a cache file directory

This allows read-only source trees.
---
 config.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'config.ini')

diff --git a/config.ini b/config.ini
index 7839fb3b..8374bd42 100644
--- a/config.ini
+++ b/config.ini
@@ -1,5 +1,5 @@
 spec:
-  cache-file: spec.pickle
+  cache-directory: cache
   paths:
   - spec
   - external/rtems/spec
-- 
cgit v1.2.3