Merge pull request #41 from flaviens/patch-1

Update file name in Makefile
scarv · Jan 11, 2023 · 123606f · 123606f
2 parents bb52627 + 920358c
commit 123606f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -1,6 +1,6 @@
 
 ifndef FRV_HOME
-    $(error "Please run 'source ./bin/source.me.sh' to setup the project workspace")
+    $(error "Please run 'source ./bin/conf.sh' to setup the project workspace")
 endif
 ifndef RISCV
     $(error "Please set the RISCV environment variable")