2

.../build/ で "pintos -- run alarm-multiple" を実行すると、すべて問題ないようです。

しかし、.../build/ で "make check" を実行すると、7 つのテストすべてが同じ "Run did not start up successfully: no "pintos booting" message" で失敗しました。

pintos -v -k -T 60 --bochs -- -q run alarm-single < /dev/null 2> tests/threads/alarm-single.errors > tests/threads/alarm-single.output perl -I../.. ../../tests/threads/alarm-single.ck tests/threads/alarm-single tests/threads/alarm-single.result FAIL tests/threads/alarm-single Run didn't start up properly: no "Pintos booting" message

次に、.../build で「pintos -v -k -T 60 --bochs -- -q run alarm-single」を発見しました。

Bochs は次のメッセージで終了しています: [ ] bochsrc.txt:12: 表示ライブラリ 'nogui' が利用できません

「-v」を取り除けば問題ありません。

この表示ライブラリ「nogui」が利用できない問題を修正する方法

4

3 に答える 3

1

私は同じ問題を抱えていて、それを解決しました。「/pintos/src/tests/Make.tests」を開き、行 54 を編集します (delete -v)

TESTCMD = pintos -v -k -T $(TIMEOUT)

次に、「/threads/build」で実行できます

make check
于 2013-03-28T01:34:07.307 に答える
1

誰も答えてくれないようだ... bochs の configure : ./configer --with-nogui を変更してから、再度コンパイルする必要があります。

作る

sudo make install

その後、pintos の make check が機能します。

于 2013-03-17T08:58:07.173 に答える