dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Placing the configuration file in the user space


From: Ben Elliston
Subject: Re: Placing the configuration file in the user space
Date: Wed, 31 Dec 2008 10:29:30 +1100
User-agent: Mutt/1.5.13 (2006-08-11)

> I dont want to plce the configuration file in
> /usr/share/dejagnu/baseboard folder, I want to place the
> configuration file in user space.

That's fine; that's how I have always done it.  You need to put this
in your site.exp:

lappend boards_dir "/home/kalyan/etc/boards"    # or whatever

Cheers, Ben




reply via email to

[Prev in Thread] Current Thread [Next in Thread]