blob: 59d1b9ad605a3390b794ab59f6ea8e9fff2fde56 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/bin/bash
# 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}"
chmod +x "${tmpDatei}"
"${tmpDatei}"
rm -f "${tmpDatei}"
|
