blob: d4cd7f43d9093f1846a409173ff167a9795739a5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/sh
EHOME=`echo $HOME | sed "s/#/\#/"`
DIR=$PLUMA_CURRENT_DOCUMENT_DIR
while test "$DIR" != "/"; do
for m in GNUmakefile makefile Makefile; do
if [ -f "${DIR}/${m}" ]; then
echo "Using ${m} from ${DIR}" | sed "s#$EHOME#~#" > /dev/stderr
make -C "${DIR}"
exit
fi
done
DIR=`dirname "${DIR}"`
done
echo "No Makefile found!" > /dev/stderr
|
