diff options
Diffstat (limited to 'src/rt/jemalloc')
| -rwxr-xr-x | src/rt/jemalloc/configure | 2 | ||||
| -rw-r--r-- | src/rt/jemalloc/configure.ac | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/rt/jemalloc/configure b/src/rt/jemalloc/configure index f6ea76c7e84..47af18916a6 100755 --- a/src/rt/jemalloc/configure +++ b/src/rt/jemalloc/configure @@ -4453,7 +4453,7 @@ PIC_CFLAGS='-fPIC -DPIC' CTARGET='-o $@' LDTARGET='-o $@' EXTRA_LDFLAGS= -MKLIB='ar crus $@' +MKLIB='$(AR) crus $@' CC_MM=1 default_munmap="1" diff --git a/src/rt/jemalloc/configure.ac b/src/rt/jemalloc/configure.ac index b4c49655533..2a53c14fda1 100644 --- a/src/rt/jemalloc/configure.ac +++ b/src/rt/jemalloc/configure.ac @@ -226,7 +226,7 @@ PIC_CFLAGS='-fPIC -DPIC' CTARGET='-o $@' LDTARGET='-o $@' EXTRA_LDFLAGS= -MKLIB='ar crus $@' +MKLIB='$(AR) crus $@' CC_MM=1 dnl Platform-specific settings. abi and RPATH can probably be determined |