File tree Expand file tree Collapse file tree 6 files changed +10
-29
lines changed Expand file tree Collapse file tree 6 files changed +10
-29
lines changed Original file line number Diff line number Diff line change 6
6
clean :
7
7
make -C analysis clean
8
8
9
- clean-deep :
10
- make -C analysis clean-deep
11
-
12
9
test :
13
10
make -C analysis test
14
11
15
12
.DEFAULT_GOAL := build
16
13
17
- .PHONY : build clean clean-deep test
14
+ .PHONY : build clean test
Original file line number Diff line number Diff line change @@ -30,12 +30,9 @@ test: test-analysis-binary test-reanalyze
30
30
clean :
31
31
rm -f rescript-editor-analysis.exe
32
32
dune clean
33
+ make -C tests clean
33
34
make -C reanalyze clean
34
35
35
- clean-deep :
36
- make clean
37
- make -C reanalyze clean-deep
38
-
39
36
.DEFAULT_GOAL := build
40
37
41
- .PHONY : build-analysis-binary build-reanalyze build-tests dce clean clean-deep format test
38
+ .PHONY : build-analysis-binary build-reanalyze build-tests dce clean format test
Original file line number Diff line number Diff line change @@ -12,10 +12,6 @@ clean:
12
12
make -C examples/deadcode clean
13
13
make -C examples/termination clean
14
14
15
- clean-deep :
16
- make -C examples/deadcode clean-deep
17
- make -C examples/termination clean-deep
18
-
19
15
.DEFAULT_GOAL := build
20
16
21
- .PHONY : build clean clean-deep test
17
+ .PHONY : build clean clean test
Original file line number Diff line number Diff line change @@ -9,12 +9,9 @@ build: node_modules/.bin/rescript
9
9
test : build node_modules/.bin/rescript
10
10
./test.sh
11
11
12
- clean : node_modules/.bin/rescript
13
- node_modules/.bin/rescript clean -with-deps
14
-
15
- clean-deep :
12
+ clean :
16
13
rm -r node_modules lib
17
14
18
15
.DEFAULT_GOAL := build
19
16
20
- .PHONY : build clean clean-deep test
17
+ .PHONY : build clean test
Original file line number Diff line number Diff line change @@ -9,12 +9,9 @@ build: node_modules/.bin/rescript
9
9
test : build node_modules/.bin/rescript
10
10
./test.sh
11
11
12
- clean : node_modules/.bin/rescript
13
- node_modules/.bin/rescript clean -with-deps
14
-
15
- clean-deep :
12
+ clean :
16
13
rm -r node_modules lib
17
14
18
15
.DEFAULT_GOAL := build
19
16
20
- .PHONY : build clean clean-deep test
17
+ .PHONY : build clean test
Original file line number Diff line number Diff line change @@ -9,12 +9,9 @@ build: node_modules/.bin/rescript
9
9
test : build
10
10
./test.sh
11
11
12
- clean : node_modules/.bin/rescript
13
- node_modules/.bin/rescript clean -with-deps
14
-
15
- clean-deep :
12
+ clean :
16
13
rm -r node_modules lib
17
14
18
15
.DEFAULT_GOAL := test
19
16
20
- .PHONY : clean clean-deep test
17
+ .PHONY : clean test
You can’t perform that action at this time.
0 commit comments