The unified diff between revisions [bca04c44..] and [99b37ee1..] is displayed below. It can also be downloaded as a raw diff.

#
#
# patch "harness/erb_setup"
#  from [8e0d00e60054bb9ce502c3ffe5e0bac06edcbe9b]
#    to [96087207a2270947954ee0149267a221bb2f6c75]
#
============================================================
--- harness/erb_setup	8e0d00e60054bb9ce502c3ffe5e0bac06edcbe9b
+++ harness/erb_setup	96087207a2270947954ee0149267a221bb2f6c75
@@ -178,7 +178,7 @@ options="$options -XPRJ_BUILD=Release"
     cd harness/sources
     gnatmake -v -Perb -gnatE -f $options \
         >> ../../logs/${toolchain}_setup 2>&1 \
-    && gprmake -v  -Perb_footprint -f \
+    && gprbuild -v  -Perb_footprint -f \
         >> ../../logs/${toolchain}_setup 2>&1
     if [ $? -ne 0 ]; then
 	echo "Compilation of the harness failed."