path: root/env.sh

#!/bin/sh
export PATH="$PATH:$(dirname "${BASH_SOURCE[0]}")/pintos-progos/utils"
export PATH="/opt/bochs/bin:$PATH"