From 0da03fd3b1fbb5141927e8e53f5315d50e2ed022 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 23 Feb 2016 22:43:18 +0100
Subject: [PATCH] how many times can I break make distcheck in only one day?

---
 tools/cmake/DefinePackages.cmake | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index a6daae0871..9fefe95716 100644
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -1138,7 +1138,6 @@ set(CMAKE_SOURCE_FILES
   tools/cmake/GCCFlags.cmake
   tools/cmake/Documentation.cmake
   tools/cmake/MaintainerMode.cmake
-  tools/cmake/MakeExe.cmake
   tools/cmake/Java.cmake
   tools/cmake/MakeLib.cmake
   tools/cmake/MakeLibWin.cmake
-- 
2.20.1