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

Re: Deleting owned files...



Hello Mike!

> I'm currently being bitten by the "can't delete lockfile" bug, and it's 
> being a bit of a pain - programs that create lockfiles but can't 
> delete them.
Have a look at my other mail to the mint list... :-)

> Elm 2.4 (unbuilt, problems extracting symbols from library)
try "ar s libutil.a"!

Ciao,
Benni

-- 
Benjamin Lorenz, Brunnenweg 33, D-66133 Saarbruecken
Phone: +49 681 815702, E-mail: lorenz@dfki.uni-sb.de