From 35efbaa1f74d90b5035365b6ce26477cb8f562a2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Mar 2003 21:00:49 +0000
Subject: Updated.

---
 Makefile.devel | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile.devel b/Makefile.devel
index 77793bab..0bc2a53a 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -299,7 +299,8 @@ distdocs: FORCE
 #
 distcompile: FORCE
 	@echo "***** MAKING ELC FILES  ****"
-	$(MAKE) compile
+## FIXME: for now, ignroe errors in compilation
+	-$(MAKE) compile
 
 
 
-- 
cgit v1.2.3