diff --git a/common/build-style/gnu-makefile.sh b/common/build-style/gnu-makefile.sh index f7d75b9056..96f1bd4452 100644 --- a/common/build-style/gnu-makefile.sh +++ b/common/build-style/gnu-makefile.sh @@ -6,7 +6,7 @@ do_build() { ${make_cmd} \ CC="$CC" CXX="$CXX" LD="$LD" AR="$AR" RANLIB="$RANLIB" \ - CPP="$CPP" AS="$AS" OBJDUMP="$OBJDUMP" STRIP=":" \ + CPP="$CPP" AS="$AS" OBJDUMP="$OBJDUMP" STRIP="true" \ ${makejobs} ${make_build_args} ${make_build_target} }