From 098eeb4af8933e33d92282a7ec9e4f3c789cc7e5 Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Thu, 22 Jan 2004 15:03:53 +0000
Subject: - added file extension .jar

---
 Makefile.distrib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.distrib b/Makefile.distrib
index 69bdff5ea7..5488e2a6c9 100644
--- a/Makefile.distrib
+++ b/Makefile.distrib
@@ -207,7 +207,7 @@ ia-build		:
 	$(INSTALL) -m 755 -d $(IA_BUILD_PREFIX)
 	$(INSTALL) -m 644 -p $(IA_PROJECTFILE) $(IA_BUILD_PREFIX)
 	$(INSTALL) -m 755 -d $(IA_BUILD_CUSTOMCODEDIR)
-	@for file in "" `$(FIND) $(IA_CONFIG_CUSTOMCODEDIR)/* -type f`; do \
+	@for file in "" `$(FIND) $(IA_CONFIG_CUSTOMCODEDIR)/*.jar -type f`; do \
 	    if [ -z "$$file" ]; then continue; fi; \
 	    $(INSTALL) -m 644 -p "$$file" $(IA_BUILD_CUSTOMCODEDIR); \
 	done
-- 
cgit v1.2.3