distribution updates

Daniel Kroening · Daniel Kroening · commit ad7d6395cccf · 2016-11-19T16:37:27.000Z
diff --git a/src/cbmc/dist-win b/src/cbmc/dist-win
@@ -15,7 +15,7 @@ mkdir /tmp/cbmc-dist
 cp ../cbmc/cbmc.exe \
    ../goto-cc/goto-cl.exe ../goto-instrument/goto-instrument.exe \
    /tmp/cbmc-dist/
-cp ~/progr/cbmc.vs64/trunk/src/cbmc/cbmc.exe /tmp/cbmc-dist/cbmc64.exe
+cp ~/progr/cbmc.vs64/src/cbmc/cbmc.exe /tmp/cbmc-dist/cbmc64.exe
 cp ../../LICENSE /tmp/cbmc-dist/LICENSE.txt
 unix2dos /tmp/cbmc-dist/LICENSE.txt
 cd /tmp/cbmc-dist
diff --git a/src/config.inc b/src/config.inc
@@ -23,4 +23,4 @@ LIBZIPINC = ../../libzip/lib
 
 # Signing identity for MacOS Gatekeeper
 
-OSX_IDENTITY="3rd Party Mac Developer Application: Daniel Kroening"
+OSX_IDENTITY="Developer ID Application: Daniel Kroening"

Original file line number	Diff line number	Diff line change
`@@ -23,4 +23,4 @@ LIBZIPINC = ../../libzip/lib`
`23`	`23`
`24`	`24`	`# Signing identity for MacOS Gatekeeper`
`25`	`25`
`26`		`-OSX_IDENTITY="3rd Party Mac Developer Application: Daniel Kroening"`
	`26`	`+OSX_IDENTITY="Developer ID Application: Daniel Kroening"`