Merge pull request #1334 from diffblue/goto-diff-signed

target name wrong for signed variant of goto-diff

Author: tautschnig

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)