mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer
synced 2024-11-24 16:23:49 +00:00
Merge "Get rid of JSDuck temporary logfile"
This commit is contained in:
commit
8da610aa95
|
@ -2,22 +2,18 @@
|
|||
|
||||
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
||||
pushd $SCRIPT_DIR > /dev/null
|
||||
jsduck \
|
||||
|
||||
! jsduck \
|
||||
--color \
|
||||
--config=./jsduck-config.json \
|
||||
-- \
|
||||
`find ../resources/{multilightbox,mmv} -name '*.js'` \
|
||||
2>&1 | tee jsduck.log \
|
||||
&& echo "JSDuck execution finished."
|
||||
RESULT=$?
|
||||
|& grep -v "^Warning:" \
|
||||
&& echo "JSDuck execution finished without errors."
|
||||
|
||||
if [ $RESULT -eq 0 ]; then
|
||||
grep "^Warning:" jsduck.log > /dev/null
|
||||
GREPPED=$?
|
||||
if [ $GREPPED -eq 0 ]; then
|
||||
RESULT=1
|
||||
fi
|
||||
fi
|
||||
STATUS=$?
|
||||
|
||||
popd > /dev/null
|
||||
|
||||
exit $RESULT
|
||||
exit $STATUS
|
||||
|
||||
|
|
Loading…
Reference in a new issue