diff --git a/Build b/Build index 4bce85b35464e663ca7148ccf6a6daea93ebb432..801fe2bc61172c20954f6a9ad720685c3c67dd50 100755 --- a/Build +++ b/Build @@ -1,3 +1,7 @@ #!/bin/sh -make TOPDIR=`pwd` depend && echo '*** Depend ready. Making binaries. ***' \ -&& make TOPDIR=`pwd` +make TOPDIR=`pwd` depend \ +&& echo '*** Depend ready. Making libraries. ***' \ +&& make TOPDIR=`pwd` libraries \ +&& echo '*** Libraries ready. Making binaries. ***' \ +&& make TOPDIR=`pwd` binaries \ +&& echo '*** All binaries built succesfully. Install manually.