Skip to content
Snippets Groups Projects
Commit de051555 authored by Jimmy Chu's avatar Jimmy Chu Committed by GitHub
Browse files

Fix gitlab command (#9843)

parent 283c8daa
Branches
No related merge requests found
......@@ -763,12 +763,14 @@ publish-rustdoc:
- cp README.md /tmp/doc/
- git checkout gh-pages
# Remove directories no longer necessary, as specified in $RUSTDOCS_DEPLOY_REFS.
# Also ensure $RUSTDOCS_DEPLOY_REFS is non-space
# Also ensure $RUSTDOCS_DEPLOY_REFS is not just empty spaces.
# Even though this block spans multiple lines, they are concatenated to run as a single line
# command, so note for the semi-colons in the inner-most code block.
- if [[ ! -z ${RUSTDOCS_DEPLOY_REFS// } ]]; then
for FILE in *; do
if [[ ! " $RUSTDOCS_DEPLOY_REFS " =~ " $FILE " ]]; then
echo "Removing ${FILE}..."
rm -rf $FILE
echo "Removing ${FILE}...";
rm -rf $FILE;
fi
done
fi
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment