diff --git a/Jump-exec/makefile b/Jump-exec/makefile new file mode 100644 index 0000000..6073095 --- /dev/null +++ b/Jump-exec/makefile @@ -0,0 +1,13 @@ +SUBDIRS := $(wildcard */) + +.PHONY: all $(SUBDIRS) + +all: $(SUBDIRS) + +$(SUBDIRS): + @if [ -f $@/makefile ]; then \ + echo "Building $@"; \ + $(MAKE) -C $@; \ + else \ + echo "Skipping $@ (makefile not found)"; \ + fi