Ensure makefiles end in a single newline

rjmunro · rjmunro · commit b4b5c695f491 · 2016-11-29T10:26:04.000Z
diff --git a/regression/goto-instrument/Makefile b/regression/goto-instrument/Makefile
@@ -29,4 +29,3 @@ clean:
 			cd ..; \
 		fi \
 	done
-
diff --git a/src/aa-path-symex/Makefile b/src/aa-path-symex/Makefile
@@ -14,4 +14,3 @@ all: aa-path-symex$(LIBEXT)
 
 aa-path-symex$(LIBEXT): $(OBJ)
 	$(LINKLIB)
-
diff --git a/src/aa-symex/Makefile b/src/aa-symex/Makefile
@@ -59,4 +59,3 @@ symex$(EXEEXT): $(OBJ)
 
 symex-mac-signed: cbmc$(EXEEXT)
 	strip symex$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) symex$(EXEEXT)
-
diff --git a/src/analyses/Makefile b/src/analyses/Makefile
@@ -21,4 +21,3 @@ all: analyses$(LIBEXT)
 
 analyses$(LIBEXT): $(OBJ)
 	$(LINKLIB)
-
diff --git a/src/ansi-c/Makefile b/src/ansi-c/Makefile
@@ -110,4 +110,3 @@ generated_files: cprover_library.inc gcc_builtin_headers_generic.inc \
 
 ansi-c$(LIBEXT): $(OBJ)
 	$(LINKLIB)
-
diff --git a/src/assembler/Makefile b/src/assembler/Makefile
@@ -21,4 +21,3 @@ generated_files: assembler_lex.yy.cpp
 
 assembler$(LIBEXT): $(OBJ)
 	$(LINKLIB)
-
diff --git a/src/cbmc/Makefile b/src/cbmc/Makefile
@@ -77,4 +77,3 @@ cbmc$(EXEEXT): $(OBJ)
 
 cbmc-mac-signed: cbmc$(EXEEXT)
 	strip cbmc$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) cbmc$(EXEEXT)
-
diff --git a/src/cegis/Makefile b/src/cegis/Makefile
@@ -141,4 +141,3 @@ endif
 
 cegis$(EXEEXT): $(OBJ)
 	$(LINKBIN)
-
diff --git a/src/clobber/Makefile b/src/clobber/Makefile
@@ -57,4 +57,3 @@ clobber$(EXEEXT): $(OBJ)
 
 clobber-mac-signed: cbmc$(EXEEXT)
 	strip clobber$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) clobber$(EXEEXT)
-
diff --git a/src/goto-analyzer/Makefile b/src/goto-analyzer/Makefile
@@ -57,4 +57,3 @@ goto-analyzer$(EXEEXT): $(OBJ)
 
 goto-analyzer-mac-signed: goto-analyzer$(EXEEXT)
 	strip goto-analyzer$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) goto-analyzer$(EXEEXT)
-
diff --git a/src/goto-cc/Makefile b/src/goto-cc/Makefile
@@ -52,4 +52,3 @@ goto-cl$(EXEEXT): $(OBJ)
 
 goto-cc-mac-signed: goto-cc$(EXEEXT)
 	codesign -v -s $(OSX_IDENTITY) goto-cc$(EXEEXT)
-
diff --git a/src/goto-diff/Makefile b/src/goto-diff/Makefile
@@ -53,4 +53,3 @@ goto-diff$(EXEEXT): $(OBJ)
 
 cbmc-mac-signed: goto-diff$(EXEEXT)
 	strip goto-diff$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) goto-diff$(EXEEXT)
-
diff --git a/src/goto-instrument/Makefile b/src/goto-instrument/Makefile
@@ -72,4 +72,3 @@ goto-instrument$(EXEEXT): $(OBJ)
 
 goto-instrument-mac-signed: goto-instrument$(EXEEXT)
 	codesign -v -s $(OSX_IDENTITY) goto-instrument$(EXEEXT)
-
diff --git a/src/goto-symex/Makefile b/src/goto-symex/Makefile
@@ -23,4 +23,3 @@ all: goto-symex$(LIBEXT)
 
 goto-symex$(LIBEXT): $(OBJ)
 	$(LINKLIB)
-
diff --git a/src/java_bytecode/Makefile b/src/java_bytecode/Makefile
@@ -25,4 +25,3 @@ all: java_bytecode$(LIBEXT)
 
 java_bytecode$(LIBEXT): $(OBJ)
 	$(LINKLIB)
-
diff --git a/src/jsil/Makefile b/src/jsil/Makefile
@@ -32,4 +32,3 @@ jsil_lex.yy.cpp: scanner.l
 # extra dependencies
 jsil_y.tab$(OBJEXT): jsil_y.tab.cpp jsil_y.tab.h
 jsil_lex.yy$(OBJEXT): jsil_y.tab.cpp jsil_lex.yy.cpp jsil_y.tab.h
-
diff --git a/src/json/Makefile b/src/json/Makefile
@@ -30,4 +30,3 @@ generated_files: json_lex.yy.cpp json_y.tab.cpp json_y.tab.h
 # extra dependencies
 json_y.tab$(OBJEXT): json_y.tab.cpp json_y.tab.h
 json_lex.yy$(OBJEXT): json_y.tab.cpp json_lex.yy.cpp json_y.tab.h
-
diff --git a/src/langapi/Makefile b/src/langapi/Makefile
@@ -13,4 +13,3 @@ all: langapi$(LIBEXT)
 
 langapi$(LIBEXT): $(OBJ)
 	$(LINKLIB)
-	
diff --git a/src/linking/Makefile b/src/linking/Makefile
@@ -14,4 +14,3 @@ all: linking$(LIBEXT)
 
 linking$(LIBEXT): $(OBJ)
 	$(LINKLIB)
-
diff --git a/src/memory-models/Makefile b/src/memory-models/Makefile
@@ -38,4 +38,3 @@ generated_files: mm_y.tab.cpp mm_lex.yy.cpp mm_y.tab.h
 
 mmcc$(EXEEXT): $(OBJ)
 	$(LINKBIN)
-
diff --git a/src/musketeer/Makefile b/src/musketeer/Makefile
@@ -51,4 +51,3 @@ musketeer$(EXEEXT): $(OBJ)
 
 musketeer-mac-signed: musketeer$(EXEEXT)
 	codesign -v -s $(OSX_IDENTITY) musketeer$(EXEEXT)
-
diff --git a/src/path-symex/Makefile b/src/path-symex/Makefile
@@ -15,4 +15,3 @@ all: path-symex$(LIBEXT)
 
 path-symex$(LIBEXT): $(OBJ)
 	$(LINKLIB)
-
diff --git a/src/pointer-analysis/Makefile b/src/pointer-analysis/Makefile
@@ -20,4 +20,3 @@ all: pointer-analysis$(LIBEXT)
 
 pointer-analysis$(LIBEXT): $(OBJ)
 	$(LINKLIB)
-
diff --git a/src/symex/Makefile b/src/symex/Makefile
@@ -61,4 +61,3 @@ symex$(EXEEXT): $(OBJ)
 
 symex-mac-signed: cbmc$(EXEEXT)
 	strip symex$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) symex$(EXEEXT)
-
diff --git a/src/xmllang/Makefile b/src/xmllang/Makefile
@@ -30,4 +30,3 @@ generated_files: xml_lex.yy.cpp xml_y.tab.cpp xml_y.tab.h
 # extra dependencies
 xml_y.tab$(OBJEXT): xml_y.tab.cpp xml_y.tab.h
 xml_lex.yy$(OBJEXT): xml_y.tab.cpp xml_lex.yy.cpp xml_y.tab.h
-

-Original file line number
+Diff line change
 			cd ..; \
 		fi \
 	done
+-
Original file line number	Diff line number	Diff line change
`@@ -14,4 +14,3 @@ all: aa-path-symex$(LIBEXT)`
`14`	`14`
`15`	`15`	`aa-path-symex$(LIBEXT): $(OBJ)`
`16`	`16`	`$(LINKLIB)`
`17`		`-`
Original file line number	Diff line number	Diff line change
`@@ -59,4 +59,3 @@ symex$(EXEEXT): $(OBJ)`
`59`	`59`
`60`	`60`	`symex-mac-signed: cbmc$(EXEEXT)`
`61`	`61`	`strip symex$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) symex$(EXEEXT)`
`62`		`-`
Original file line number	Diff line number	Diff line change
`@@ -21,4 +21,3 @@ all: analyses$(LIBEXT)`
`21`	`21`
`22`	`22`	`analyses$(LIBEXT): $(OBJ)`
`23`	`23`	`$(LINKLIB)`
`24`		`-`
Original file line number	Diff line number	Diff line change
`@@ -110,4 +110,3 @@ generated_files: cprover_library.inc gcc_builtin_headers_generic.inc \`
`110`	`110`
`111`	`111`	`ansi-c$(LIBEXT): $(OBJ)`
`112`	`112`	`$(LINKLIB)`
`113`		`-`
Original file line number	Diff line number	Diff line change
`@@ -21,4 +21,3 @@ generated_files: assembler_lex.yy.cpp`
`21`	`21`
`22`	`22`	`assembler$(LIBEXT): $(OBJ)`
`23`	`23`	`$(LINKLIB)`
`24`		`-`
Original file line number	Diff line number	Diff line change
`@@ -77,4 +77,3 @@ cbmc$(EXEEXT): $(OBJ)`
`77`	`77`
`78`	`78`	`cbmc-mac-signed: cbmc$(EXEEXT)`
`79`	`79`	`strip cbmc$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) cbmc$(EXEEXT)`
`80`		`-`
Original file line number	Diff line number	Diff line change
`@@ -141,4 +141,3 @@ endif`
`141`	`141`
`142`	`142`	`cegis$(EXEEXT): $(OBJ)`
`143`	`143`	`$(LINKBIN)`
`144`		`-`
Original file line number	Diff line number	Diff line change
`@@ -57,4 +57,3 @@ clobber$(EXEEXT): $(OBJ)`
`57`	`57`
`58`	`58`	`clobber-mac-signed: cbmc$(EXEEXT)`
`59`	`59`	`strip clobber$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) clobber$(EXEEXT)`
`60`		`-`
Original file line number	Diff line number	Diff line change
`@@ -57,4 +57,3 @@ goto-analyzer$(EXEEXT): $(OBJ)`
`57`	`57`
`58`	`58`	`goto-analyzer-mac-signed: goto-analyzer$(EXEEXT)`
`59`	`59`	`strip goto-analyzer$(EXEEXT) ; codesign -v -s $(OSX_IDENTITY) goto-analyzer$(EXEEXT)`
`60`		`-`