mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rollup merge of #132499 - RalfJung:unicode_data.rs, r=tgross35

Browse Source 
unicode_data.rs: show command for generating file

https://github.com/rust-lang/rust/pull/131647 made this an easily runnable tool, now we just have to mention that in the comment. :)

Fixes https://github.com/rust-lang/rust/issues/131640.
This commit is contained in:
Matthias Krüger 2024-11-03 12:08:51 +01:00 committed by GitHub
commit b438a5cd2a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
library/core/src/unicode/unicode_data.rs
View File

@ -1,4 +1,4 @@
///! This file is generated by src/tools/unicode-table-generator; do not edit manually! ///! This file is generated by `./x run src/tools/unicode-table-generator`; do not edit manually!
#[inline(always)] #[inline(always)]
const fn bitset_search< const fn bitset_search<

2
src/tools/unicode-table-generator/src/main.rs
View File

@ -268,7 +268,7 @@ fn main() {
let mut table_file = String::new(); let mut table_file = String::new();
table_file.push_str( table_file.push_str(
"///! This file is generated by src/tools/unicode-table-generator; do not edit manually!\n", "///! This file is generated by `./x run src/tools/unicode-table-generator`; do not edit manually!\n",
); );
// Include the range search function // Include the range search function