Update README.md

cucapra · Dec 15, 2020 · 06676c3 · 06676c3
1 parent c55c485
commit 06676c3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/evaluation/README.md b/evaluation/README.md
@@ -70,10 +70,11 @@ cd diospyos
 
 ## Using the compiler in the VirtualBox or locally
 
-First, run make to ensure the compiler is up-to-date:
+First, you can pull and run make to ensure the compiler is up-to-date:
 
 #### Time estimate: 1 minute
 ```
+git pull
 make
 ```