컴파일 명령어

cd pintos && make

빌드 결과물을 기반으로 테스트 실행 명령어

cd pintos/build && make check

특정 테스트에 대해서만 실행하는 명령어

cd /workspaces/pintos_22.04_lab_docker/pintos/threads/build
# 파일명이 달라질 수 있음
pintos -v -k -T 60 -- -q run priority-change