diff options
| -rw-r--r-- | etc/defaults/lint/TARGETS | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/defaults/lint/TARGETS b/etc/defaults/lint/TARGETS index 0967ef42..de52b000 100644 --- a/etc/defaults/lint/TARGETS +++ b/etc/defaults/lint/TARGETS @@ -1 +1,3 @@ -{} +{ "defaults": + {"type": "defaults", "base": [["CC", "defaults"], ["shell", "defaults"]]} +} |