[resources] Use realpath instead of readlink in fix-java-javadoc.sh

This commit is contained in:
Florian Schmaus 2021-04-27 17:01:30 +02:00
parent ba5c2e46d8
commit 70cb9e8a94
1 changed files with 1 additions and 1 deletions

View File

@ -15,7 +15,7 @@ cd "`dirname "${SCRIPTDIR}"`" > /dev/null
SCRIPTDIR="`pwd`";
popd > /dev/null
SMACK_DIR=$(readlink "${SCRIPTDIR}"/..)
SMACK_DIR=$(realpath "${SCRIPTDIR}"/..)
FIND_ALL_JAVA_SRC="find ${SMACK_DIR} \
-type f \