From 0e525fc893d4490de18ab126dd4cd430b7fa797b Mon Sep 17 00:00:00 2001
From: Freddie Akeroyd <freddie.akeroyd@stfc.ac.uk>
Date: Sat, 8 Jun 2019 21:48:54 +0100
Subject: [PATCH] Use $(CAT) for WIN32

---
 src/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index 646f052..19c5489 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -110,7 +110,7 @@ endif
 
 # create stream.dbd for all record types
 $(COMMON_DIR)/$(LIBRARY_DEFAULT).dbd: $(addprefix $(COMMON_DIR)/, $(STREAM_DBD_FILES))
-	cat $? > $@
+	$(CAT) $? > $@
 
 $(LIBRARY_DEFAULT).dbd$(DEP):
 	echo "$(LIBRARY_DEFAULT).dbd: $(STREAM_DBD_FILES)" > $@