mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
Merge pull request #8220 from miri64/dist/enh/docheck
docheck: make doccheck executable from any directory
This commit is contained in:
commit
a4d3310a21
4
dist/tools/doccheck/check.sh
vendored
4
dist/tools/doccheck/check.sh
vendored
@ -8,7 +8,9 @@
|
||||
|
||||
RIOTBASE=$(readlink -f "$(dirname $(realpath $0))/../../..")
|
||||
|
||||
ERRORS=$(make doc 2>&1 | grep '.*warning' | sed "s#${PWD}/\([^:]*\)#\1#g")
|
||||
ERRORS=$(make -C "${RIOTBASE}" doc 2>&1 | \
|
||||
grep '.*warning' | \
|
||||
sed "s#${PWD}/\([^:]*\)#\1#g")
|
||||
|
||||
if [ -n "${ERRORS}" ]
|
||||
then
|
||||
|
Loading…
Reference in New Issue
Block a user