diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-04-06 13:32:41 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-04-06 13:33:26 +0200 |
| commit | 233f5642a34bf46d54978c8663fe927ee4065df3 (patch) | |
| tree | 297f29fe996075bb4d08e91678e444cf2cdc2aa4 /config.ini | |
| parent | Add RTEMS build specification (diff) | |
| download | rtems-central-233f5642a34bf46d54978c8663fe927ee4065df3.tar.bz2 | |
items: Use a cache file directory
This allows read-only source trees.
Diffstat (limited to 'config.ini')
| -rw-r--r-- | config.ini | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ spec: - cache-file: spec.pickle + cache-directory: cache paths: - spec - external/rtems/spec |