diff options
| author | Perberos <[email protected]> | 2011-11-07 16:46:58 -0300 |
|---|---|---|
| committer | Perberos <[email protected]> | 2011-11-07 16:46:58 -0300 |
| commit | 528c1e5ff51e213936e800fc5a9a25da99c0bdf2 (patch) | |
| tree | 77f8aa456b09367ba81f04d4562fc935f898a951 /plugins/externaltools/data/build.tool.in | |
| download | pluma-528c1e5ff51e213936e800fc5a9a25da99c0bdf2.tar.bz2 pluma-528c1e5ff51e213936e800fc5a9a25da99c0bdf2.tar.xz | |
initial
Diffstat (limited to 'plugins/externaltools/data/build.tool.in')
| -rwxr-xr-x | plugins/externaltools/data/build.tool.in | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/plugins/externaltools/data/build.tool.in b/plugins/externaltools/data/build.tool.in new file mode 100755 index 00000000..0b81d5b6 --- /dev/null +++ b/plugins/externaltools/data/build.tool.in @@ -0,0 +1,15 @@ +#!/bin/sh + +EHOME=`echo $HOME | sed "s/#/\#/"` +DIR=$GEDIT_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 |