From 0d8abbfe3bd8f2ccac0fb145e573d0e69cb337af Mon Sep 17 00:00:00 2001
From: Denis Demidov <dennis.demidov@gmail.com>
Date: Mon, 23 Nov 2020 15:48:40 +0300
Subject: [PATCH] Dummy exclusive filter for the JIT backend

---
 vexcl/backend/jit/filter.hpp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/vexcl/backend/jit/filter.hpp b/vexcl/backend/jit/filter.hpp
index 0aceec109..5c49fe9fd 100644
--- a/vexcl/backend/jit/filter.hpp
+++ b/vexcl/backend/jit/filter.hpp
@@ -61,6 +61,13 @@ struct Name {
         std::string devname;
 };
 
+// The JIT backend does not support the exclusive filter functionality,
+// but provides the filter for compatibility.
+template <class Filter>
+Filter Exclusive(Filter&& filter) {
+    return std::forward<Filter>(filter);
+}
+
 inline std::vector< std::function<bool(const backend::device&)> >
 backend_env_filters()
 {