Commit 30ec7d78 authored by Alexandru Dura's avatar Alexandru Dura
Browse files

Move the setup script to its old location

parent 65b6fc66
#!/bin/sh
export PINTOS_HOME=`pwd`
export PATH=$PATH:`pwd`/src/utils
#!/bin/sh
export PINTOS_HOME=`pwd`/pintos
export PATH=$PATH:`pwd`/pintos/src/utils
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment