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.

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

removed references to the deleted scripts/configure.sh file and made … #268

Merged
merged 1 commit into from
Jun 13, 2024

Conversation

rockett-m
Copy link
Contributor

We no longer have scripts/configure.sh in the codebase as it has been replaced by scripts/install-build-tools.sh and scripts/setup-dependencies.sh.

So removed references to the deprecated configure.sh file where it could be confusing to new people onboarding and filled in with the two build scripts we use in its place.

Copy link
Collaborator

@HalosGhost HalosGhost left a comment

Choose a reason for hiding this comment

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

Thank you for cleaning up a few of these dangling references! Looks good to me.

Merging

@HalosGhost HalosGhost merged commit 150bb1e into mit-dci:trunk Jun 13, 2024
6 checks passed
@rockett-m rockett-m deleted the delete-configure-refs branch July 22, 2024 21:54
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