diff options
Diffstat (limited to 'Build/source/libs/gmp/native/configure')
| -rwxr-xr-x | Build/source/libs/gmp/native/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/libs/gmp/native/configure b/Build/source/libs/gmp/native/configure index c217c1a8256..375fd18e85e 100755 --- a/Build/source/libs/gmp/native/configure +++ b/Build/source/libs/gmp/native/configure @@ -3397,6 +3397,7 @@ else fi ;; esac +##tldbg KPSE_BASIC: Remember gmp native () as Kpse_Package (for future messages). if test "`cd $srcdir && pwd`" != "`pwd`"; then # Use -I$(srcdir) only when $(srcdir) != ., so that make's output |