diff --git a/Build b/Build index 4911e63e006784e806c22add5f4314f71127c0dc..ad68d6a992b62a829debf8919453eced6e3e9041 100755 --- a/Build +++ b/Build @@ -1,8 +1,10 @@ #!/bin/sh -# $Id: Build,v 1.4 1991/08/30 07:05:16 ceder Exp $ +# $Id: Build,v 1.5 1991/09/04 19:52:54 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. +date