なるほど、「CHKFILE」って命令があったんですね。知りませんでした。汎用性を考えなければ、 IF !CHKFILE("$PACMAN/DEFS") THEN END てな感じでしょうか。かなり不親切設計ですけど(^^;)。 ともあれ、勉強させていただきました。ありがとうございます！