From d84bf7e1b0a0ff7d89d047cbb2b2bcfc8ec934b3 Mon Sep 17 00:00:00 2001
From: Jonathan Wilkes <jon.w.wilkes@gmail.com>
Date: Wed, 1 Jun 2016 21:59:15 -0400
Subject: [PATCH] port a803fe57013cdf94dc96df6dcc532f85b3b5071c from Pd-l2ork: 
 *fixed building of the gfsm library--needs further testing

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

diff --git a/externals/Makefile b/externals/Makefile
index 057881d1e..6e6826ac6 100644
--- a/externals/Makefile
+++ b/externals/Makefile
@@ -1203,7 +1203,7 @@ moocow_clean:
 	$(MAKE) -C $(externals_src)/moocow/extended distclean
 	-rm -f -- $(MOOCOW_DIR)/*.bak
 	-rm -f -- $(MOOCOW_DIR)/*.*~
-
+	cp -f $(MOOCOW_DIR)/../gfsm/gfsm/src/libgfsm/default/* $(MOOCOW_DIR)/../gfsm/gfsm/src/libgfsm/ 
 
 
 #------------------------------------------------------------------------------#
-- 
GitLab