Makefile 169 Bytes
Newer Older
1
all: local remote
2

3
4
local:
	make -f Makefile.local
Cedric Roux's avatar
Cedric Roux committed
5

6
remote:
7
	make -f Makefile.remote textlog enb vcd
Cedric Roux's avatar
Cedric Roux committed
8
9

clean:
10
11
	make -f Makefile.local clean
	make -f Makefile.remote clean