diff options
| -rw-r--r-- | src/configure.ac | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/configure.ac b/src/configure.ac index 0cc015b..162b4f9 100644 --- a/src/configure.ac +++ b/src/configure.ac @@ -117,17 +117,17 @@ then if test "x$host" != "x" then STRIP=${host}-strip - if $(which ${host}-strip > /dev/null) - then - : - else - STRIP="echo fake strip" - fi else - STRIP=strip +# we need a method to check arguments for arbitrary commands like strip + STRIP="strip" fi fi -dnl STRIP=${STRIP:=strip} +if $(which ${STRIP} > /dev/null) +then + STRIPFLAGS="--strip-uneeded" +else + STRIP="echo fake strip" +fi DFLAGS="" |