diff options
Diffstat (limited to 'scripts/sync-language-bundle.sh')
| -rwxr-xr-x | scripts/sync-language-bundle.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/sync-language-bundle.sh b/scripts/sync-language-bundle.sh index 25af11b..45f8259 100755 --- a/scripts/sync-language-bundle.sh +++ b/scripts/sync-language-bundle.sh @@ -163,7 +163,14 @@ process_bundle() { # The Makefile fragment is project-owned: never auto-fix it, never edit the # project Makefile. If the project uses the .ai/ inbox convention and hasn't # already adopted the fragment, drop a copy there for deliberate adoption. - inbox_drop "$src/coverage-makefile.txt" "coverage-makefile.txt" + # The documented adoption path (install-lang: "copy its targets into your + # Makefile") leaves no fragment at root, so a project Makefile that already + # defines the distinctive coverage-summary target counts as adopted — + # otherwise the drop gets re-suggested every run after a deliberate + # copy-and-delete. + if ! grep -qE '^coverage-summary:' "$PROJECT/Makefile" 2>/dev/null; then + inbox_drop "$src/coverage-makefile.txt" "coverage-makefile.txt" + fi fi if [ "$MANUAL" -gt "$manual_before" ]; then |