[Devil-linux-develop] Ircam mirror and update_src

[Arnaud Gomes-do-V. <Arn...@ir...>]

Hi,

The current update_src script does not list the public mirror at
Ircam. Here is the patch I use:

Index: update_src
===================================================================
RCS file: /cvsroot/devil-linux/build/update_src,v
retrieving revision 1.35
diff -u -r1.35 update_src
--- update_src	4 Aug 2004 17:58:01 -0000	1.35
+++ update_src	27 Aug 2004 15:57:54 -0000
@@ -45,6 +45,10 @@
 ftps[5]="http://www.devil-linux.us"
 ftpd[5]="/pub/devel/sources/$VERSION/"
 
+menu[6]="Ircam                        Paris/France"
+ftps[6]="http://mirrors.ircam.fr"
+ftpd[6]="/pub/devil-linux/devel/sources/$VERSION/"
+
 # the internal mirrors (mostly used by specific developers)
 
 menu[96]="generic internal mirror"


-- 
Arnaud