diff options
Diffstat (limited to 'bin/clean')
-rwxr-xr-x | bin/clean | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/bin/clean b/bin/clean new file mode 100755 index 0000000..889af8d --- /dev/null +++ b/bin/clean @@ -0,0 +1,70 @@ +#!/bin/sh +set -eu + + +usage() { + cat <<-'EOF' + Usage: + clean + clean -h + EOF +} + +help() { + cat <<-'EOF' + + + Options: + -h, --help show this message + + + Clean the project and list the leftover files. + + + Examples: + + Just run it: + + $ clean + EOF +} + + +for flag in "$@"; do + case "$flag" in + (--) + break + ;; + (--help) + usage + help + exit + ;; + (*) + ;; + esac +done + +while getopts 'h' flag; do + case "$flag" in + (h) + usage + help + exit + ;; + (*) + usage >&2 + exit 2 + esac +done +shift $((OPTIND - 1)) + + +if [ -e dev.mk ]; then + F='Makefile' +else + F='dev.mk' +fi + +make -sf"$F" clean +vcs clean |