From 3f3cd47db22edd9151aa5236f50a03442ccfc68d Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Tue, 22 Jan 2008 16:52:32 +0000
Subject: [PATCH] *** empty log message ***

---
 utils/embed/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/utils/embed/Makefile b/utils/embed/Makefile
index 4d34695e59..77fc6019cb 100644
--- a/utils/embed/Makefile
+++ b/utils/embed/Makefile
@@ -36,6 +36,7 @@ clean:
 	rm -f *${OBJEXT}
 
 distclean:
+	rm -f *${LIBEXT}
 	rm -f *${OBJEXT}
 	mkdir tmp
 	mv GmshEmbedded.* tmp
-- 
GitLab