diff options
author | IOhannes m zmölnig <zmoelnig@users.sourceforge.net> | 2005-09-20 08:14:41 +0000 |
---|---|---|
committer | IOhannes m zmölnig <zmoelnig@users.sourceforge.net> | 2005-09-20 08:14:41 +0000 |
commit | c31379aa811735cf4dc21dc4d50c15606bcbb107 (patch) | |
tree | 2c91da35e3ed4d9c79cd8ba47aa51f58abfc442e /src | |
parent | 262f10ec9538aaceee36bdbabf4eec0e8c65b86f (diff) |
changed checks for STRIP (but really look at how we did that in Gem)
svn path=/trunk/externals/iem/iemmatrix/; revision=3602
Diffstat (limited to 'src')
-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="" |