From 4c1b3b3588a0e45e25ad78abdd3e3daaa6c063c3 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Sun, 3 Sep 2017 11:21:45 +0100 Subject: [PATCH] target name wrong for signed variant of goto-diff --- src/goto-diff/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)