From 312590517a57c6024f3ca9a133c3700256dd1226 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 4 Jul 2018 10:00:34 +0200
Subject: [PATCH] fix make distcheck

---
 tools/cmake/DefinePackages.cmake          | 1 -
 tools/internal/check_dist_archive.exclude | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 039215c22e..881846683f 100644
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -10,7 +10,6 @@ set(EXTRA_DIST
   src/include/xbt/mmalloc.h
   src/mc/mc_mmu.hpp
   src/mc/mc_record.hpp
-  src/mc/PageStore.hpp
   src/msg/msg_private.hpp
   src/simdag/dax.dtd
   src/simdag/dax_dtd.c
diff --git a/tools/internal/check_dist_archive.exclude b/tools/internal/check_dist_archive.exclude
index 03d09e34d2..774fcfed22 100644
--- a/tools/internal/check_dist_archive.exclude
+++ b/tools/internal/check_dist_archive.exclude
@@ -24,6 +24,7 @@
 
 + contrib/.*
 
++ tools/appveyor-irc-notify.py
 + tools/git-hooks/.*
 + tools/internal/.*
 + tools/jenkins/.*
-- 
2.20.1