diff -r 8f2a834d1d68 -r ef6827505bd2 src/Makefile --- a/src/Makefile Fri Feb 24 11:17:53 2017 +0100 +++ b/src/Makefile Mon Mar 06 17:32:26 2017 +0100 @@ -28,11 +28,17 @@ BUILD_ROOT = ../ -all: _ucx _server +all: ucx server tools -_ucx: +ucx: .FORCE cd ucx; $(MAKE) -_server: +server: ucx .FORCE cd server; $(MAKE) + +tools: server .FORCE + cd tools; $(MAKE) + +.FORCE: + \ No newline at end of file