Remove use_gpuguard.patch since GPUGUARD is now disabled by default

diff --git a/debian/patches/series b/debian/patches/series
index 1c0333ed5b2a5205f582ac2ddc4087c9009f4a1b..8488637ea08d1474a50989adef257f6533110ba2 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,5 +2,4 @@ libpremnotify-makefile.patch
 Guard-architecture-dependent-code-with-#ifdefs.patch
 require-cuda.patch
 configure-herculescompiler-via-cmake.patch
-use_gpuguard.patch
 default-pass-root.patch

diff --git a/debian/patches/use_gpuguard.patch b/debian/patches/use_gpuguard.patch
deleted file mode 100644 (file)
index 9163cb4..0000000
--- a/debian/patches/use_gpuguard.patch
+++ /dev/null
@@ -1,22 +0,0 @@
---- a/HerculesCompiler/libpremnotify/libpremnotify-gpu.cu
-+++ b/HerculesCompiler/libpremnotify/libpremnotify-gpu.cu
-@@ -47,7 +47,7 @@
- // SYNC: We can use GPUguard, synchronization, or (if none of the below macros
- //       are defined), no sync at all.
- // Use GPUguard for synchronization
--#define USE_GPUGUARD
-+// #define USE_GPUGUARD
- 
- // Use barriers for synchronization
- #define USE_BARRIERS
---- a/openmp/libomptarget/plugins/cuda/src/rtl.cpp
-+++ b/openmp/libomptarget/plugins/cuda/src/rtl.cpp
-@@ -19,7 +19,7 @@
- // kernel, and the LKM will be invoked for synchronization. If it is not 
- // defined, the offloading will be done as in the original libomptarget CUDA
- // rtl.
--#define USE_GPUGUARD
-+// #define USE_GPUGUARD
- 
- // After each kernel, finalize the results to get output in deadline misses and
- // enable the GPUguard LKM to output more statistics to the kernel log (if