Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- # Run All Tests
- # .../pintos/src/threads
- make && make check
- # Run Certain Test (Set CUR_TEST variable to test name)
- # .../pintos/src/threads
- CUR_TEST='alarm-single' && pintos run $CUR_TEST && echo -e '\n!!!!!!!!! TEST RESULTS !!!!!!!!!\n' && cat build/tests/threads/$CUR_TEST.result
- # DEBUGGING
- # (Term 1)
- # DIR : .../pintos/src/threads
- pintos --gdb -- run alarm-multiple
- # (Term 2)
- # DIR : .../pintos/src/threads/build
- pintos-gdb kernel.o
- (gdb) target remote localhost:1234
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement