ReadMe: Relativize fgrep

Relativize fgrep command to ALIVE2_HOME
AliveToolkit · Oct 28, 2023 · 4fd780b · 4fd780b
1 parent 4d96737
commit 4fd780b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -126,7 +126,7 @@ We run this command on the main LLVM branch each day, and keep track of the resu
 [here](https://web.ist.utl.pt/nuno.lopes/alive2/).  To detect unsound transformations in a local run:
 
 ```
-fgrep -r "(unsound)" alive2/build/logs/
+fgrep -r "(unsound)" $ALIVE2_HOME/alive2/build/logs/
 ```