diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/make.sh | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/include/make.sh b/include/make.sh deleted file mode 100644 index 697c40d2..00000000 --- a/include/make.sh +++ /dev/null @@ -1,30 +0,0 @@ -# SPDX-License-Identifier: GPL-3.0-or-later -# SPDX-FileCopyrightText: 2023 Leah Rowe <leah@libreboot.org> - -main() -{ - while getopts b:m:u:c:x: option - do - _flag="${1}" - case "${1}" in - -b) mode="all" ;; - -u) mode="oldconfig" ;; - -m) mode="menuconfig" ;; - -c) mode="distclean" ;; - -x) mode="crossgcc-clean" ;; - *) fail "Invalid option" ;; - esac - shift; project="${OPTARG}"; shift - done - [ -z "${mode}" ] && fail "mode not given (-m, -u, -b, -c or -x)" - [ -z "${project}" ] && fail "project name not specified" - - handle_dependencies $@ - handle_targets -} - -fail() -{ - [ -z "${codedir}" ] || ./handle make file -c "${codedir}" || : - err "${1}" -} |