no realpath

libxsmm · Feb 13, 2024 · 5676344 · 5676344
1 parent e038ac0
commit 5676344
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/ci/common.sh b/scripts/ci/common.sh
@@ -72,8 +72,8 @@ add_device_extensions() {
 
 # Wait for a file to appear on an existing directory
 wait_for_file() {
-  local DIR=${1}
-  local FILE=$(realpath ${1}/${2})
+  local DIR="${1}"
+  local FILE="${1}/${2}"
 
   if [ ! -d ${DIR} ]; then
     echo "ERROR: Directory ${DIR} not found"