| #!/bin/bash |
| |
| function my_generate1() { |
| files_changed=$(scripts/check_files_changed.py $1) |
| if [[ $files_changed ]] |
| then |
| if ${VERBOSE}; then |
| echo $1 |
| fi |
| if ${DEBUG}; then |
| echo $files_changed |
| fi |
| touch $files_changed |
| bash -c $1 & |
| fi |
| } |
| |
| function my_generatef() { |
| if ${VERBOSE}; then |
| echo $1 |
| fi |
| bash -c $1 & |
| } |
| |
| export -f my_generate1 |
| export -f my_generatef |
| |
| export FORCE='false' |
| export VERBOSE='false' |
| export DEBUG='false' |
| |
| while getopts ':vfd' 'OPTKEY'; do |
| case ${OPTKEY} in |
| 'v') |
| export VERBOSE='true' |
| ;; |
| 'd') |
| export DEBUG='true' |
| ;; |
| 'f') |
| export FORCE='true' |
| ;; |
| '?') |
| echo "INVALID OPTION -- ${OPTARG}" >&2 |
| exit 1 |
| ;; |
| ':') |
| echo "MISSING ARGUMENT for option -- ${OPTARG}" >&2 |
| exit 1 |
| ;; |
| *) |
| echo "UNIMPLEMENTED OPTION -- ${OPTKEY}" >&2 |
| exit 1 |
| ;; |
| esac |
| done |
| |
| # [optional] Remove all options processed by getopts. |
| shift $(( OPTIND - 1 )) |
| [[ "${1}" == "--" ]] && shift |
| |
| if ${FORCE}; then |
| find scripts/ -name 'generate-*.sh' -exec bash -c 'my_generatef {}' \; |
| else |
| find scripts/ -name 'generate-*.sh' -exec bash -c 'my_generate1 {}' \; |
| fi |
| wait |
| if ${VERBOSE}; then |
| echo ./tools/update-microkernels.py |
| fi |
| ./tools/update-microkernels.py |