diff -r 4be7dd2b75b9 -r 63b8d52db390 src/Makefile --- a/src/Makefile Sun Jan 29 09:40:04 2017 +0100 +++ b/src/Makefile Sun Feb 19 11:56:39 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: .FORCE + cd tools; $(MAKE) + +.FORCE: + \ No newline at end of file