RE: [certi-dev] CERTI on FreeBSD

[Gotthard, Petr]

> > [...] Nevertheless I'll have a closer look at it ....  mmmh, I just 
> > ran "ctest -D Experimental" and it seems I've been uploading 
> > 'something' ....
> 
> Could someone please instruct me wether this had been the 
> proper procedure to serve the intended goal ?

It's correct, but sometimes it's also good to overwrite the default
platform name:
ctest --overwrite Site="Erk At ONERA" --overwrite
BuildName="Linux-gcc-4.1.2-x86_64" -D Experimental

More information is here:
http://lists.nongnu.org/archive/html/certi-devel/2008-10/msg00028.html
http://lists.nongnu.org/archive/html/certi-devel/2008-10/msg00030.html


Petr