nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-23 15:23:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix deploy.sh and python2 usage

Browse Source
This commit is contained in:
mcarton 2016-07-19 21:57:40 +02:00
parent b7df2f8732
commit 3fab9a8970
No known key found for this signature in database
GPG Key ID: 5E427C794CBA45E8
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/deploy.sh vendored
View File

@ -24,7 +24,7 @@ rm -rf out/master/ || exit 0
# Make the doc for master
mkdir out/master/
cp util/gh-pages/index.html out/master
./util/export.py out/master/lints.json
python ./util/export.py out/master/lints.json
# Save the doc for the current tag and point current/ to it
if [ -n "$TRAVIS_TAG" ]; then

6
util/export.py
View File

@ -21,15 +21,15 @@ This lint has the following configuration variables:
# TODO: actual logging
def warn(*args):
print(*args)
print(args)
def debug(*args):
print(*args)
print(args)
def info(*args):
print(*args)
print(args)
def parse_path(p="clippy_lints/src"):