> From: Takao Shinohara <shin@sm.sony.co.jp> > Subject: Re: deleted files > > で、中身が空のディレクトリは削除するオプション -P を指定すれば大丈夫だと > 思います。 それでも repository にあって working directory にない directory は一旦 作られるので, さらに make obj を実行して, 同じ名前の binary が current directory に作られないようにしておく必要があると思います. enami.