soc/picorv32/test/Makefile: drop some useless punctuation

BerkeleyLab · Jul 12, 2024 · 53609e6 · 53609e6
1 parent 80b4ea2
commit 53609e6
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/soc/picorv32/test/Makefile b/soc/picorv32/test/Makefile
@@ -23,9 +23,9 @@ check:
 
 fv:
 	# Formal verification of some components
-	(cd fv/ && sby f_pack.sby)
-	(cd fv/ && sby fifo.sby)
-	(cd fv/ && sby shortfifo.sby)
+	cd fv && sby f_pack.sby
+	cd fv && sby fifo.sby
+	cd fv && sby shortfifo.sby
 
 clean:
 	$(MAKE) -C ./badger_loopback clean