Skip to content

Commit b2972b1

Browse files
committed
Remove trailing space from Makefiles
1 parent be69737 commit b2972b1

File tree

12 files changed

+17
-17
lines changed

12 files changed

+17
-17
lines changed

regression/cbmc-incr/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
default: tests.log
22

3-
PARAM = --incremental --magic-numbers
3+
PARAM = --incremental --magic-numbers
44
# --refine --slice-formula
55

66
test:

regression/goto-instrument-unwind/Makefile

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,10 +13,10 @@ testnew:
1313
@../test.pl -c ../unwind-chain.sh -F
1414

1515
test:
16-
@../test.pl -c ../unwind-chain.sh
16+
@../test.pl -c ../unwind-chain.sh
1717

1818
tests.log: ../test.pl
19-
@../test.pl -c ../unwind-chain.sh
19+
@../test.pl -c ../unwind-chain.sh
2020

2121
clean:
2222
@for dir in *; do \

regression/goto-instrument-wmm-core/Makefile

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,10 +13,10 @@ testnew:
1313
@../test.pl -c ../chain.sh -F
1414

1515
test:
16-
@../test.pl -c ../chain.sh
16+
@../test.pl -c ../chain.sh
1717

1818
tests.log: ../test.pl
19-
@../test.pl -c ../chain.sh
19+
@../test.pl -c ../chain.sh
2020

2121
clean:
2222
@for dir in *; do \

src/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ $(patsubst %, %.dir, $(DIRS)):
5353

5454
$(patsubst %, %_generated_files, $(DIRS)):
5555
$(MAKE) $(MAKEARGS) -C $(patsubst %_generated_files, %, $@) generated_files
56-
56+
5757
generated_files: $(patsubst %, %_generated_files, $(DIRS))
5858

5959
# cleaning

src/analyses/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,6 @@ all: analyses$(LIBEXT)
1919

2020
###############################################################################
2121

22-
analyses$(LIBEXT): $(OBJ)
22+
analyses$(LIBEXT): $(OBJ)
2323
$(LINKLIB)
2424

src/ansi-c/Makefile

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,7 @@ library_check: library/*.c
7979
[ $$ec -eq 0 ] || exit $$ec ; \
8080
done
8181
touch $@
82-
82+
8383
cprover_library.inc: library/converter$(EXEEXT) library/*.c
8484
cat library/*.c | library/converter$(EXEEXT) > $@
8585

@@ -108,6 +108,6 @@ generated_files: cprover_library.inc gcc_builtin_headers_generic.inc \
108108

109109
###############################################################################
110110

111-
ansi-c$(LIBEXT): $(OBJ)
111+
ansi-c$(LIBEXT): $(OBJ)
112112
$(LINKLIB)
113113

src/assembler/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,6 @@ generated_files: assembler_lex.yy.cpp
1919

2020
###############################################################################
2121

22-
assembler$(LIBEXT): $(OBJ)
22+
assembler$(LIBEXT): $(OBJ)
2323
$(LINKLIB)
2424

src/cegis/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -81,7 +81,7 @@ SRC = danger/meta/meta_variable_names.cpp danger/facade/danger_runner.cpp danger
8181
instrument/cegis_library.cpp instrument/instrument_var_ops.cpp instrument/meta_variables.cpp \
8282
instrument/find_cprover_initialize.cpp \
8383
runner/cegis_parse_options.cpp runner/cegis_main.cpp runner/cegis_languages.cpp
84-
84+
8585
OBJ += ../ansi-c/ansi-c$(LIBEXT) \
8686
../cpp/cpp$(LIBEXT) \
8787
../java_bytecode/java_bytecode$(LIBEXT) \

src/goto-instrument/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ OBJ += ../ansi-c/ansi-c$(LIBEXT) \
4141

4242
INCLUDES= -I ..
4343

44-
LIBS =
44+
LIBS =
4545

4646
CLEANFILES = goto-instrument$(EXEEXT)
4747

src/linking/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,6 @@ all: linking$(LIBEXT)
1212

1313
###############################################################################
1414

15-
linking$(LIBEXT): $(OBJ)
15+
linking$(LIBEXT): $(OBJ)
1616
$(LINKLIB)
1717

0 commit comments

Comments
 (0)