diff options
Diffstat (limited to 'scripts/devbuild.sh')
-rwxr-xr-x | scripts/devbuild.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/devbuild.sh b/scripts/devbuild.sh index cd3574740..2b98d84b1 100755 --- a/scripts/devbuild.sh +++ b/scripts/devbuild.sh @@ -59,7 +59,8 @@ case $1 in ;; odp-check) cd $GENERIC_BUILDDIR - ODP_PLATFORM_PARAMS="-n 3" make check && make doxygen-html && make -C doc + ODP_PLATFORM_PARAMS="-n 3" make check && make doxygen-run && \ + make -C doc ;; *) export TEST=$1 |