target name wrong for signed variant of goto-diff

Daniel Kroening · Daniel Kroening · commit 4c1b3b3588a0 · 2017-09-03T11:21:45.000+01:00
diff --git 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)
