#1 Choosing $HOME/.bldhosts name

closed
nobody
None
5
2005-12-08
2005-12-07
Anonymous
No

It would be handy to be able to choose the file
containing the list of hosts, either through
environment variable, or through a specific
command-line option.

This would enable to have several configurations (eg
for different architectures) in the same home dir for
instance.

Discussion

  • bfleisch

    bfleisch - 2005-12-08

    Logged In: YES
    user_id=723686

    resolved (in remote-bldserver.c revision 1.6):

    * distmake uses $HOME/.bldhosts.$DISTMAKE_ARCH as the build
    servers list if $DISTMAKE_ARCH is defined. Otherwise, the
    default file $HOME/.bldhosts is used.

     
  • bfleisch

    bfleisch - 2005-12-08
    • status: open --> closed
     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks