Merge pull request #31 from ggerganov/master

Address #30 - Fix version check on old version of Ubuntu (12.04)
This commit is contained in:
Vladislav Yarmak 2019-01-12 16:56:14 +02:00 committed by GitHub
commit 57263a244e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -79,7 +79,7 @@ fi
echo "Detected nvidia driver version: $driver_version" echo "Detected nvidia driver version: $driver_version"
if [[ ! -v "patch_list[$driver_version]" || ! -v "object_list[$driver_version]" ]]; then if [[ ! "${patch_list[$driver_version]+isset}" || ! "${object_list[$driver_version]+isset}" ]]; then
echo "Patch for this ($driver_version) nvidia driver not found." 1>&2 echo "Patch for this ($driver_version) nvidia driver not found." 1>&2
echo "Available patches for: " 1>&2 echo "Available patches for: " 1>&2
for drv in "${!patch_list[@]}"; do for drv in "${!patch_list[@]}"; do