diff --git a/Build b/Build index 0344eb17d23c673a628978fddb0da646fa522318..d14c1ab7791b14ccdcc9b0d5675a887566586093 100755 --- a/Build +++ b/Build @@ -1,10 +1,10 @@ #!/bin/sh -# $Id: Build,v 1.6 1991/09/08 21:04:21 ceder Exp $ +# $Id: Build,v 1.7 1991/09/13 20:19:05 ceder Exp $ date -make TOPDIR=`pwd` depend \ +make depend \ && echo '*** Depend ready. Making libraries. ***' \ -&& make TOPDIR=`pwd` libraries \ +&& make libraries \ && echo '*** Libraries ready. Making binaries. ***' \ -&& make TOPDIR=`pwd` binaries \ +&& make binaries \ && echo '*** All binaries built succesfully. Install manually.' date