Updates requested in PR : Introduced American spelling.

Author: marek-trtik

src/.gitignore

@@ -6,5 +6,5 @@
 *.obj
 *.a
 *.lib
-driver/security-analyser
+driver/security-analyzer
 

src/driver/Makefile

@@ -24,9 +24,9 @@ LIBS =
 include ../../cbmc/src/config.inc
 include ../../cbmc/src/common
 
-CLEANFILES = security-analyser$(EXEEXT)
+CLEANFILES = security-analyzer$(EXEEXT)
 
-all: security-analyser$(EXEEXT)
+all: security-analyzer$(EXEEXT)
 
 ifneq ($(wildcard ../../cbmc/src/java_bytecode/Makefile),)
   OBJ += ../../cbmc/src/java_bytecode/java_bytecode$(LIBEXT)
@@ -51,11 +51,11 @@ endif
 
 ###############################################################################
 
-security-analyser$(EXEEXT): $(OBJ)
+security-analyzer$(EXEEXT): $(OBJ)
 	$(LINKBIN)
 
-.PHONY: security-analyser-mac-signed
+.PHONY: security-analyzer-mac-signed
 
-security-analyser-mac-signed: security-analyser$(EXEEXT)
-	strip security-analyser$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) security-analyser$(EXEEXT)
+security-analyzer-mac-signed: security-analyzer$(EXEEXT)
+	strip security-analyzer$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) security-analyzer$(EXEEXT)