diff options
author | Erich Eckner <git@eckner.net> | 2016-05-11 09:25:28 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2016-05-11 09:25:28 +0200 |
commit | 4b56ce331b7c628236300e0cf4e880cb31f18665 (patch) | |
tree | 0fd65f6e4b6d107d14e46a3ba90fec9abf252732 /ewemake.in | |
parent | 39f5ad8323b1b5e1abce4afd8dfd2525f9eebd6d (diff) | |
download | Make-4b56ce331b7c628236300e0cf4e880cb31f18665.tar.xz |
etwas aufgeräumt, warnen bei überzähligen Optionen
Diffstat (limited to 'ewemake.in')
-rwxr-xr-x | ewemake.in | 16 |
1 files changed, 1 insertions, 15 deletions
@@ -2,22 +2,8 @@ # ewemake verision #VERSION# - a wrapper for Make -machDatei="$(pwd)" - -while [ ! -r "${machDatei}/Machdatei" ] && [ ! "${machDatei}" == "/" ] -do - machDatei="$(dirname "${machDatei}")" -done - -machDatei="${machDatei}/Machdatei" -if [ ! -r "${machDatei}" ] -then - >&2 echo 'Fehler: Kann keine Machdatei finden!' - exit 1 -fi - tmpDatei="$(mktemp)" -Make -D "${machDatei}" -A "${tmpDatei}" +Make -l -A "${tmpDatei}" chmod +x "${tmpDatei}" "${tmpDatei}" rm -f "${tmpDatei}" |