diff --git a/outside/ed25519/Makefile b/outside/ed25519/Makefile
index ce70c2bd32..c276c8ecbc 100644
--- a/outside/ed25519/Makefile
+++ b/outside/ed25519/Makefile
@@ -20,4 +20,4 @@ OFILES=\
 all: ed25519.a($(OFILES))
 
 clean:
-	-rm $(OFILES) ed25519.a
+	-rm -f $(OFILES) ed25519.a