From c6227e2e346de7aee89834fa87993cbe3319e20f Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 5 Feb 2018 22:00:35 +0100
Subject: [PATCH] Fix distcheck.

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

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 145d972e82..5c03cce3a1 100644
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -671,6 +671,7 @@ set(MC_SIMGRID_MC_SRC  src/mc/checker/simgrid_mc.cpp)
 
 set(headers_to_install
   include/simgrid/chrono.hpp
+  include/simgrid/plugins/dvfs.h
   include/simgrid/plugins/energy.h
   include/simgrid/plugins/file_system.h
   include/simgrid/plugins/live_migration.h
-- 
2.20.1