diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/Makefile | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/tools/Makefile b/tools/Makefile index 551c4fefc..67e34ade8 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -7,7 +7,7 @@ CFLAGS = -Wall .PHONY: clean install $(DIRS) -all: $(BASE)/depslist.ordered $(BASE)/compss $(DIRS) xhost+ rpcinfo-flushed install +all: $(DIRS) xhost+ rpcinfo-flushed install $(DIRS): make -C $@ @@ -27,12 +27,6 @@ xhost+: %: %.c ddcprobe/ddcxinfos: $(MAKE) -C ddcprobe ddcxinfos -$(BASE)/compss $(BASE)/depslist.ordered: $(BASE)/hdlists $(BASE)/hdlist.cz - gendistrib --nohdlists --distrib $(ROOTDEST) - -$(BASE)/hdlist.cz: $(BASE)/hdlists $(RPMS) - gendistrib --noclean --nobasefiles --distrib $(ROOTDEST) - clean: for i in $(DIRS); do $(MAKE) -C $$i clean; done rm -rf *~ xhost+ rpcinfo-flushed ddcprobe/ddcxinfos */*.o |