changeset 15 | b9822060de6b |
parent 14 | 6a83ee58d034 |
child 21 | 9d572c2d6803 |
--- a/build Mon Jun 15 17:30:56 2015 +0200 +++ b/build Fri Aug 21 11:57:59 2015 +0200 @@ -7,8 +7,10 @@ make -C platforms test -d exim || { - echo "exim src directory missing" >&2 - echo "try: git clone https://github.com/Exim/exim.git" >&2 + cat >&2 <<__ +$0: exim src directory missing + try: git clone https://github.com/Exim/exim.git +__ exit 1 }