diff options
Diffstat (limited to 'externals/grill/pool/make-files.txt')
| -rw-r--r-- | externals/grill/pool/make-files.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/externals/grill/pool/make-files.txt b/externals/grill/pool/make-files.txt new file mode 100644 index 00000000..bbf988d5 --- /dev/null +++ b/externals/grill/pool/make-files.txt @@ -0,0 +1,7 @@ +# all the source files from the package +NAME=pool + +SRCDIR=source + +SRCS= main.cpp data.cpp pool.cpp +HDRS= pool.h |