Skip to content

Commit 85d80d1

Browse files
committed
Add Makefile also at toplevel.
1 parent 9bfa95e commit 85d80d1

File tree

1 file changed

+17
-0
lines changed

1 file changed

+17
-0
lines changed

Makefile

+17
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
SHELL = /bin/bash
2+
3+
build:
4+
make -C analysis build
5+
6+
clean:
7+
make -C analysis clean
8+
9+
clean-deep:
10+
make -C analysis clean-deep
11+
12+
test:
13+
make -C analysis test
14+
15+
.DEFAULT_GOAL := build
16+
17+
.PHONY: build clean clean-deep test

0 commit comments

Comments
 (0)