diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index ec52ff290..26dd2a2fa 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -7,7 +7,7 @@ CFLAGS = -Wall .PHONY: clean install $(DIRS) -all: $(BASE)/depslist $(BASE)/filelist $(BASE)/compss $(DIRS) xhost+ install +all: $(BASE)/depslist.ordered $(BASE)/filelist $(BASE)/compss $(DIRS) xhost+ install $(DIRS): make -C $@ |