Index: src/ccid_usb.c
===================================================================
--- src/ccid_usb.c	(revision 2714)
+++ src/ccid_usb.c	(working copy)
@@ -155,6 +155,7 @@
 
 	DEBUG_COMM3("Reader index: %X, Device: %s", reader_index, device);
 
+#ifndef __APPLE__
 	/* device name specified */
 	if (device)
 	{
@@ -199,7 +200,7 @@
 			}
 		}
 	}
-
+#endif
 	if (busses == NULL)
 		usb_init();
 
@@ -268,12 +269,12 @@
 
 		/* go to next supported reader for next round */
 		alias++;
-
+#ifndef __APPLE__
 		/* the device was specified but is not the one we are trying to find */
 		if (device
 			&& (vendorID != device_vendor || productID != device_product))
 			continue;
-
+#endif
 		/* on any USB buses */
 		for (bus = busses; bus; bus = bus->next)
 		{