From 54b56959f534d0a4ccf3bbaacda247528cb28228 Mon Sep 17 00:00:00 2001
From: Peter Boyle <paboyle@ph.ed.ac.uk>
Date: Wed, 3 Jun 2015 12:47:46 +0100
Subject: [PATCH] Convenience script to build the list of headers and .cc files
 in the library

---
 scripts/filelist | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 scripts/filelist

diff --git a/scripts/filelist b/scripts/filelist
new file mode 100755
index 00000000..73c6db51
--- /dev/null
+++ b/scripts/filelist
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+cd lib
+HFILES=`find . -type f -name '*.h'`
+CCFILES=`find . -type f -name '*.cc' -not  -name '*ommunicator*.cc'`
+echo HFILES=$HFILES > Make.inc
+echo >> Make.inc
+echo CCFILES=$CCFILES >> Make.inc
+cd ..