Skip to content

chore: remove makefile log#401

Merged
mootz12 merged 1 commit intomainfrom
remove-makefile-log
Feb 6, 2026
Merged

chore: remove makefile log#401
mootz12 merged 1 commit intomainfrom
remove-makefile-log

Conversation

@mootz12
Copy link
Contributor

@mootz12 mootz12 commented Feb 6, 2026

What

Remove unnecessary log in makefile

Copilot AI review requested due to automatic review settings February 6, 2026 14:39
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Removes a noisy/duplicative build log line from the root Makefile to keep make build output cleaner while preserving behavior across subdirectories.

Changes:

  • Removed the echo "Building in $$dir..." line from the build target’s subdirectory loop.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@mootz12 mootz12 requested a review from a team February 6, 2026 14:40
@mootz12 mootz12 enabled auto-merge (squash) February 6, 2026 14:40
@mootz12 mootz12 merged commit a2cab43 into main Feb 6, 2026
136 checks passed
@mootz12 mootz12 deleted the remove-makefile-log branch February 6, 2026 14:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants