Commit dc1fb075 authored by joerg@trift2.'s avatar joerg@trift2.
Browse files

scripts/make_binary_distribution.sh: 

Fix the code to get the "libgcc" file name so that the failure of Intel's ICC
to provide this information does not cause any problems.

This fixes  bug#33536  Option "--print-libgcc-file" does not work with ICC compiler
parent 4e50bb0e

scripts/make_binary_distribution.sh

+6 −4
Original line number Diff line number Diff line
@@ -322,11 +322,13 @@ BASE=$BASE2 
#



if [ x"@GXX@" = x"yes" ] ; then

  gcclib=`@CC@ @CFLAGS@ --print-libgcc-file`

  if [ $? -ne 0 ] ; then

    echo "Warning: Couldn't find libgcc.a!"

  else

  gcclib=`@CC@ @CFLAGS@ --print-libgcc-file 2>/dev/null` || true

  if [ -z "$gcclib" ] ; then

    echo "Warning: Compiler doesn't tell libgcc.a!"

  elif [ -f "$gcclib" ] ; then

    $CP $gcclib $BASE/lib/libmygcc.a

  else

    echo "Warning: Compiler result '$gcclib' not found / no file!"

  fi

fi