Skip to content

Instantly share code, notes, and snippets.

@fk128
Created November 2, 2017 11:25
Show Gist options
  • Save fk128/7de6d2f34e0db528a93b2c602c8c3443 to your computer and use it in GitHub Desktop.
Save fk128/7de6d2f34e0db528a93b2c602c8c3443 to your computer and use it in GitHub Desktop.
execute make on all sub-directories that have a make file
#!/bin/bash
# execute make on all sub-directories that have a make file
find . -type f -name Makefile -exec echo -e "\v\v+--- {}" \; -execdir make \;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment