Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update Makefile #80

Merged
merged 1 commit into from
Jan 13, 2025
Merged

Update Makefile #80

merged 1 commit into from
Jan 13, 2025

Conversation

wojciechozga
Copy link
Member

Description of the changes

Add ace binary to the PATH to simplify running ACE in QEMU

Type of change

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Formal verification
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Refactorization (non-breaking change which improves code quality)

@wojciechozga
Update Makefile
d362dcb 
Add ace binary to the PATH to simplify running ACE in QEMU
@wojciechozga wojciechozga merged commit 8907f10 into main Jan 13, 2025
1 of 4 checks passed
@wojciechozga wojciechozga deleted the wojciechozga-patch-1 branch January 13, 2025 16:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@wojciechozga