MahnoKropotkinvich/redox
1
0
Fork 0
mirror of https://gitlab.redox-os.org/redox-os/redox.git synced 2026-06-21 20:34:17 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

rust: no longer builds rustdoc

Browse Source
This commit is contained in:
Jeremy Soller 2023-02-11 20:01:57 -07:00
parent e97f05b035
commit 04155d9cb8
No known key found for this signature in database
GPG Key ID: DCFCA852D3906975
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
recipes/rust/recipe.sh
View File

@ -23,6 +23,7 @@ function recipe_clean {
function recipe_stage {
rsync -av --delete "install/" "$1/"
# Cannot use STRIP because it is unset in recipe_build
"${HOST}-strip" -v "$1/bin/"{rustc,rustdoc}
#TODO: rustdoc
"${HOST}-strip" -v "$1/bin/rustc"
skip=1
}