projects
/
platform
/
upstream
/
tvm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
9d78ad8
)
Fix typo in test script (#5635)
author
Wuwei Lin
<wuwei@apache.org>
Wed, 20 May 2020 22:12:37 +0000
(18:12 -0400)
committer
GitHub
<noreply@github.com>
Wed, 20 May 2020 22:12:37 +0000
(15:12 -0700)
tests/scripts/task_sphinx_precheck.sh
patch
|
blob
|
history
diff --git
a/tests/scripts/task_sphinx_precheck.sh
b/tests/scripts/task_sphinx_precheck.sh
index
e6de960
..
0328b9e
100755
(executable)
--- a/
tests/scripts/task_sphinx_precheck.sh
+++ b/
tests/scripts/task_sphinx_precheck.sh
@@
-48,7
+48,7
@@
cat /tmp/$$.logclean.txt
echo "-----------------------------"
if grep --quiet -E "WARN" < /tmp/$$.logclean.txt; then
echo "WARNINIG found in the log, please fix them."
- echo "You can reproduce locally by running ./tests/script/task_sphinx_precheck.sh"
+ echo "You can reproduce locally by running ./tests/script
s
/task_sphinx_precheck.sh"
exit 1
fi
echo "No WARNINGS to be fixed."