Hi George, once again: Please keep the mailing list at CC.
George Ng wrote: > The problem is the ptxdixt can not be executed. > > even when ptxdist --version > > I got > > ptxdist: error: cannot create logdir: '/local/platform' > > I think I have to re-install the ptxdist-2011.08.0.tar.bz2 again. > > Can you tell me how to remove the one currently installed in my host? If you do not change any setting with '--prefix' in the 'configure' step, PTXdist should be installed to "/usr/local/lib/ptxdist-<revision>/" and "/usr/local/bin/ptxdist-<revision>". De-installing can be done by removing these files and directories. On the other hand, you may could start with removing the PTXdist's rc file in "~/.ptxdist/" and test again. Regards, Juergen -- Pengutronix e.K. | Juergen Beisert | Linux Solutions for Science and Industry | http://www.pengutronix.de/ |
