diff options
Diffstat (limited to 'extension/configure')
| -rwxr-xr-x | extension/configure | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/extension/configure b/extension/configure index 5e746cae..a24b111b 100755 --- a/extension/configure +++ b/extension/configure @@ -734,6 +734,9 @@ AM_BACKSLASH AM_DEFAULT_VERBOSITY AM_DEFAULT_V AM_V +CSCOPE +ETAGS +CTAGS am__untar am__tar AMTAR @@ -3306,6 +3309,20 @@ am__tar='$${TAR-tar} chof - "$$tardir"' am__untar='$${TAR-tar} xf -' +# Variables for tags utilities; see am/tags.am +if test -z "$CTAGS"; then + CTAGS=ctags +fi + +if test -z "$ETAGS"; then + ETAGS=etags +fi + +if test -z "$CSCOPE"; then + CSCOPE=cscope +fi + + # POSIX will say in a future version that running "rm -f" with no argument # is OK; and we want to be able to make that assumption in our Makefile |