Akim Demaille <akim@lrde.epita.fr> writes:
"Roland" == Roland Levillain <roland@lrde.epita.fr> writes:
Index: buildfarm_worker/caracas.fns --- buildfarm_worker/caracas.fns (revision 393) +++ buildfarm_worker/caracas.fns (working copy) @@ -4,7 +4,7 @@
# Add some programs from /lrde/bin to the PATH. export PATH="/lrde/dev/linux-x86/sarge/autoconf-2.60/bin:$PATH" -export PATH="/lrde/dev/linux-x86/sarge/bison-2.2/bin:$PATH" +export PATH="/lrde/dev/linux-x86/sarge/bison-2.3/bin:$PATH"
Why don't you have a function, say path_prepend, that does this, using a local variable, say $host_type, that does depend on the machine. That would certainly factor a lot of stuff here.
path_prepend autoconf-2.60 \ bison-2.3 \ ...
Yes, that's better. In fact, there is a lot of cleansing work to do in the scripts of the build farm. :/