diff --git a/dist-scripts/dist-cores.sh b/dist-scripts/dist-cores.sh index 9b9858b882..52339cb72e 100755 --- a/dist-scripts/dist-cores.sh +++ b/dist-scripts/dist-cores.sh @@ -417,6 +417,6 @@ elif [ $PLATFORM = "ode-ps3" ] ; then fi if [ ! -z $linking_error ]; then - echo error + echo $linking_error exit 1 fi