diff options
Diffstat (limited to 'plugins/externaltools/data/build.tool.in')
| -rwxr-xr-x | plugins/externaltools/data/build.tool.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/externaltools/data/build.tool.in b/plugins/externaltools/data/build.tool.in index 0b81d5b6..d4cd7f43 100755 --- a/plugins/externaltools/data/build.tool.in +++ b/plugins/externaltools/data/build.tool.in @@ -1,7 +1,7 @@ #!/bin/sh EHOME=`echo $HOME | sed "s/#/\#/"` -DIR=$GEDIT_CURRENT_DOCUMENT_DIR +DIR=$PLUMA_CURRENT_DOCUMENT_DIR while test "$DIR" != "/"; do for m in GNUmakefile makefile Makefile; do if [ -f "${DIR}/${m}" ]; then |