1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index b78f6c0..804ead5 100644
--- a/Makefile
+++ b/Makefile
@@ -13,3 +13,4 @@ poly_mul: poly_mul.o
 # processors…  For mere testing it is enough tu run with QEMU emulation, tho.
 run_poly_mul: poly_mul
 	guix shell qemu -- qemu-x86_64 -cpu max $<
+.PHONY: run_poly_mul