Update dist-cores.sh

2019-11-12 14:55:37 +01:00 · 2019-11-12 14:55:37 +01:00 · 312f143253
parent 3a552e08ff
commit 312f143253
1 changed files with 1 additions and 1 deletions
--- 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