diff --git a/scripts/detect_opencl_devices b/scripts/detect_opencl_devices
deleted file mode 100755
index 02e1105f3..000000000
--- a/scripts/detect_opencl_devices
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/usr/bin/env python
-
-def get_devices():
-    import pyopencl as cl
-    ctxs = []
-    for i, p in enumerate(cl.get_platforms()):
-        for j, d in enumerate(p.get_devices()):
-            # 64-bit floating point support is required
-            if 'fp64' in d.extensions:
-                ctxs.append('%d:%d' % (i,j) if len(p.get_devices()) > 1 else str(i))
-    return ctxs
-
-if __name__ == '__main__':
-    try:
-        print ' '.join(get_devices())
-    except ImportError:
-        print ''