From e510b763f78e1d0afebdf055567a0ade88c38d1b Mon Sep 17 00:00:00 2001
From: miner1 <miner1@miner1-desktop.(none)>
Date: Sat, 12 Jan 2019 16:48:54 +0200
Subject: [PATCH] Address #30

Fix version check on old version of Ubuntu (12.04)
---
 patch.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/patch.sh b/patch.sh
index 907225b..2a7550a 100755
--- a/patch.sh
+++ b/patch.sh
@@ -79,7 +79,7 @@ fi
 
 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 "Available patches for: " 1>&2
     for drv in "${!patch_list[@]}"; do