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

Remove --check-unsafe flag #1138

Closed
brson opened this issue Nov 6, 2011 · 3 comments
Closed

Remove --check-unsafe flag #1138

brson opened this issue Nov 6, 2011 · 3 comments
Labels
C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Comments

@brson
Copy link
Contributor

brson commented Nov 6, 2011

I believe this is no longer needed. We should always be checking unsafe.
@brson
Copy link
Contributor Author

brson commented Nov 7, 2011

also remove from man page

lht added a commit to lht/rust that referenced this issue Nov 11, 2011
@lht
Remove unused "--check-unsafe" flag
39084fb 
Fixes issue rust-lang#1138
@lht
Copy link
Contributor

lht commented Nov 11, 2011

The flag wasn't documented in the man page.

@brson
Copy link
Contributor Author

brson commented Nov 11, 2011

Thanks, lht!

@brson brson closed this as completed Nov 11, 2011
bjorn3 added a commit to bjorn3/rust that referenced this issue Mar 5, 2021
@bjorn3
Merge pull request rust-lang#1138 from bjorn3/cirrus_ci
1337f96 
Test FreeBSD on CI
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@adpaco-aws
Updates for front-page documentation (rust-lang#1138)
5342996 
* Changes for `README.md`

* Changes for getting-started

* Rename "Workarounds" to "Working with CBMC"

* Minor fixes in "Working with rustc"

* Suggestions from code review

* Place "working w rustc" after "working w CBMC"

* Add suggestion and correct link

* Remove "it" and capitalize Rust
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@celinval
Fix dev-documentation broken link (rust-lang#2575)
8b89160 
Fix broken link introduced by rust-lang#1138 and add a link to Coding conventions.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@lht @brson