Skip to content

Commit

Permalink
update Jump-exec makefile
Browse files Browse the repository at this point in the history
  • Loading branch information
jabra- committed Dec 12, 2023
1 parent 029ecd6 commit 75cb735
Showing 1 changed file with 13 additions and 0 deletions.
13 changes: 13 additions & 0 deletions Jump-exec/makefile
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit 75cb735

Please sign in to comment.