diff --git a/Build b/Build index ad68d6a992b62a829debf8919453eced6e3e9041..0344eb17d23c673a628978fddb0da646fa522318 100755 --- a/Build +++ b/Build @@ -1,10 +1,10 @@ #!/bin/sh -# $Id: Build,v 1.5 1991/09/04 19:52:54 ceder Exp $ +# $Id: Build,v 1.6 1991/09/08 21:04:21 ceder Exp $ date 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. +&& echo '*** All binaries built succesfully. Install manually.' date