Lines Matching refs:strip
1838 # Installed binaries are usually stripped using `strip' when the user
1839 # run `make install-strip'. However `strip' might not be the right
1844 # Extract the first word of "${ac_tool_prefix}strip", so it can be a program name with args.
1845 set dummy ${ac_tool_prefix}strip; ac_word=$2
1861 ac_cv_prog_STRIP="${ac_tool_prefix}strip"
1882 # Extract the first word of "strip", so it can be a program name with args.
1883 set dummy strip; ac_word=$2
1899 ac_cv_prog_ac_ct_STRIP="strip"
5917 # Extract the first word of "${ac_tool_prefix}strip", so it can be a program name with args.
5918 set dummy ${ac_tool_prefix}strip; ac_word=$2
5934 ac_cv_prog_STRIP="${ac_tool_prefix}strip"
5955 # Extract the first word of "strip", so it can be a program name with args.
5956 set dummy strip; ac_word=$2
5972 ac_cv_prog_ac_ct_STRIP="strip"
8285 if test -n "$STRIP" && $STRIP -V 2>&1 | grep "GNU strip" >/dev/null; then
8286 test -z "$old_striplib" && old_striplib="$STRIP --strip-debug"
8287 test -z "$striplib" && striplib="$STRIP --strip-unneeded"
9466 # Commands to strip libraries.
10335 # explicitly linking system object files so we need to strip them
10407 # explicitly linking system object files so we need to strip them
10472 # explicitly linking system object files so we need to strip them
10532 # explicitly linking system object files so we need to strip them
10621 # explicitly linking system object files so we need to strip them
10684 # explicitly linking system object files so we need to strip them
10776 # explicitly linking system object files so we need to strip them
12079 if test -n "$STRIP" && $STRIP -V 2>&1 | grep "GNU strip" >/dev/null; then
12080 test -z "$old_striplib" && old_striplib="$STRIP --strip-debug"
12081 test -z "$striplib" && striplib="$STRIP --strip-unneeded"
13175 # Commands to strip libraries.
15360 if test -n "$STRIP" && $STRIP -V 2>&1 | grep "GNU strip" >/dev/null; then
15361 test -z "$old_striplib" && old_striplib="$STRIP --strip-debug"
15362 test -z "$striplib" && striplib="$STRIP --strip-unneeded"
15651 # Commands to strip libraries.
17842 if test -n "$STRIP" && $STRIP -V 2>&1 | grep "GNU strip" >/dev/null; then
17843 test -z "$old_striplib" && old_striplib="$STRIP --strip-debug"
17844 test -z "$striplib" && striplib="$STRIP --strip-unneeded"
18938 # Commands to strip libraries.
19413 # Commands to strip libraries.
23581 # ${srcdir} and @srcdir@ from VPATH if srcdir is ".", strip leading and