1 files changed, 1 insertions, 1 deletions
diff --git a/env.sh b/env.sh
index 99fb242..bfa340c 100644
--- a/env.sh
+++ b/env.sh
@@ -1,3 +1,3 @@
 #!/bin/sh
-export PATH="$PATH:$(dirname "${BASH_SOURCE[0]}")/pintos-progos/utils"
+export PATH="$PATH:$(dirname "${BASH_SOURCE[0]}")/utils"
 export PATH="/opt/bochs/bin:$PATH"

diff --git a/env.sh b/env.sh index 99fb242..bfa340c 100644 --- a/env.sh +++ b/env.sh
@@ -1,3 +1,3 @@
1	#!/bin/sh	1	#!/bin/sh
2	export PATH="$PATH:$(dirname "${BASH_SOURCE[0]}")/pintos-progos/utils"	2	export PATH="$PATH:$(dirname "${BASH_SOURCE[0]}")/utils"
3	export PATH="/opt/bochs/bin:$PATH"	3	export PATH="/opt/bochs/bin:$PATH"