$(MAKE) -f Makefile.mb
$(MAKE) -f Makefile.membarrier
$(MAKE) -f Makefile.signal
+ $(MAKE) -f Makefile.bp
.PHONY: clean
clean:
$(MAKE) -f Makefile.mb clean
$(MAKE) -f Makefile.membarrier clean
$(MAKE) -f Makefile.signal clean
+ $(MAKE) -f Makefile.bp clean