Makefile 215 Bytes
Newer Older
1
all: local remote
2

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

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

clean:
12
13
	make -f Makefile.local clean
	make -f Makefile.remote clean