make.sh

#!/usr/bin/env bash

# Build the tutorials 
cd src
gprbuild tut01.gpr
gprbuild tut02.gpr
gprbuild tut03.gpr
gprbuild tut04.gpr
gprbuild tut05.gpr
gprbuild tut06.gpr
gprbuild tut07.gpr
gprbuild tut08.gpr
gprbuild tut09.gpr
gprbuild tut10.gpr
gprbuild tut11.gpr
gprbuild tut12.gpr
gprbuild tut13.gpr
gprbuild tut14.gpr
gprbuild tut15.gpr
gprbuild tut16.gpr
gprbuild tut17.gpr
gprbuild tut18.gpr
cd ..