diff --git a/iso/builder/build-cublas.sh b/iso/builder/build-cublas.sh index 693eb68..9f19009 100644 --- a/iso/builder/build-cublas.sh +++ b/iso/builder/build-cublas.sh @@ -125,7 +125,7 @@ copy_headers() { case "$inc_dir" in */usr/include) ;; # already handled above *) - if ls "${inc_dir}"/*.h > /dev/null 2>&1; then + if find "${inc_dir}" -name '*.h' -maxdepth 2 | grep -q .; then cp -a "${inc_dir}/." "${CACHE_DIR}/include/" fi ;;