diff --git a/src/goto-diff/Makefile b/src/goto-diff/Makefile
index 17b2d253561..986085eb307 100644
--- a/src/goto-diff/Makefile
+++ b/src/goto-diff/Makefile
@@ -51,5 +51,5 @@ goto-diff$(EXEEXT): $(OBJ)
 
 .PHONY: goto-diff-mac-signed
 
-cbmc-mac-signed: goto-diff$(EXEEXT)
+goto-diff-mac-signed: goto-diff$(EXEEXT)
 	strip goto-diff$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) goto-diff$(EXEEXT)