blackbox caching fix

ci/blackbox.sh

@@ -124,9 +124,11 @@ CONFIGS="-DNUM_CLUSTERS=$CLUSTERS -DNUM_CORES=$CORES -DNUM_WARPS=$WARPS -DNUM_TH
 
 echo "CONFIGS=$CONFIGS"
 
-if [ -f "blackbox.cache" ]
+BLACKBOX_CACHE=blackbox.$DRIVER.cache
+
+if [ -f "$BLACKBOX_CACHE" ]
 then 
-    LAST_CONFIGS=`cat blackbox.cache`
+    LAST_CONFIGS=`cat $BLACKBOX_CACHE`
 fi
 
 if [ "$CONFIGS+$DEBUG+$SCOPE" != "$LAST_CONFIGS" ]; 
@@ -134,7 +136,7 @@ then
     make -C $DRIVER_PATH clean
 fi
 
-echo "$CONFIGS+$DEBUG+$SCOPE" > blackbox.cache
+echo "$CONFIGS+$DEBUG+$SCOPE" > $BLACKBOX_CACHE
 
 status=0