aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f5e8a76..bed718a 100644
--- a/Makefile
+++ b/Makefile
@@ -90,4 +90,4 @@ src:
}" < $$F; \
done
-.PHONY: clean clean-gen check check-arm64 src 80 install uninstall
+.PHONY: clean clean-gen check check-arm64 check-rv64 src 80 install uninstall