1

私のMakefileには次のものがあります。

SHELL = /usr/bin/time -f "$@ total time: %E" /bin/sh

これは私のLinuxボックスの1つで正常に動作します。ただし、別のボックスでは、segfaultが発生します。その行を削除すれば問題ありません。何か案は？

ありがとう。

4

1 に答える 1

1

あなたはそれをチェックする必要があります

  1. 「$@」は期待どおりに展開されます
  2. / usr / bin/timeはうまく機能します
  3. ターゲットマシンの人の時間を調べて、そのバージョンの時間が「％E」を認識するかどうかを確認します
于 2012-07-08T23:38:18.843 に答える