mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-27 15:31:17 +01:00
docheck: make doccheck executable from any directory
The doccheck script reports reports a false positive when executed from any directory but `RIOTBASE`. With this fix, `make doc` changes into the currently unused `RIOTBASE` variable. This is an alternative approach to #7217, which removes this variable, but keeps the false positive aspect of the script untouched.
This commit is contained in:
parent
36ebe5613f
commit
90d2060188
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…
x
Reference in New Issue
Block a user