diff options
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}" |