컴파일 명령어
cd pintos && make
Shell
복사
빌드 결과물을 기반으로 테스트 실행 명령어
cd pintos/build && make check
Shell
복사
특정 테스트에 대해서만 실행하는 명령어
cd /workspaces/pintos_22.04_lab_docker/pintos/threads/build
Shell
복사
# 파일명이 달라질 수 있음
pintos -v -k -T 60 -- -q run priority-change
Shell
복사