diff options
Diffstat (limited to 'extra/jemalloc/autogen.sh')
| -rwxr-xr-x | extra/jemalloc/autogen.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/extra/jemalloc/autogen.sh b/extra/jemalloc/autogen.sh deleted file mode 100755 index 75f32da6873..00000000000 --- a/extra/jemalloc/autogen.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh - -for i in autoconf; do - echo "$i" - $i - if [ $? -ne 0 ]; then - echo "Error $? in $i" - exit 1 - fi -done - -echo "./configure --enable-autogen $@" -./configure --enable-autogen $@ -if [ $? -ne 0 ]; then - echo "Error $? in ./configure" - exit 1 -fi |