From 312f143253a7a9b808483a3bc976eb7ff7631825 Mon Sep 17 00:00:00 2001 From: twinaphex Date: Tue, 12 Nov 2019 14:55:37 +0100 Subject: [PATCH] Update dist-cores.sh --- dist-scripts/dist-cores.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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