From 975ec2340cda8c3997a14bb2ac07fb04f07abd11 Mon Sep 17 00:00:00 2001
From: ralfulrich <ralf.ulrich@kit.edu>
Date: Tue, 30 Apr 2019 21:22:14 +0200
Subject: [PATCH] files->programs

---
 Tools/CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Tools/CMakeLists.txt b/Tools/CMakeLists.txt
index 0c8ebe96..7a014158 100644
--- a/Tools/CMakeLists.txt
+++ b/Tools/CMakeLists.txt
@@ -1,6 +1,6 @@
-set (TOOLS_FILES plot_tracks.sh plot_crossings.sh coverage.sh)
+set (TOOLS_SCRIPTS plot_tracks.sh plot_crossings.sh coverage.sh)
 
 install (
-  FILES ${TOOLS_FILES} 
+  PROGRAMS ${TOOLS_SCRIPTS} 
   DESTINATION share/tools
   )
-- 
GitLab