|
|
| Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. |
| version 1.19, 1993/07/17 13:43:50 | version 1.20, 1993/07/29 22:04:55 | ||
|---|---|---|---|
|
|
||
| else \ | else \ | ||
| true ; \ | true ; \ | ||
| dest=$$here/obj ; \ | dest=$$here/obj ; \ | ||
| echo "making $$here/obj" ; \ | |||
| if test ! -d obj ; then \ | if test ! -d obj ; then \ | ||
| mkdir $$here/obj; \ | echo "making $$dest" ; \ | ||
| mkdir $$dest; \ | |||
| fi; \ | fi; \ | ||
| fi; | fi; | ||
| .endif | .endif |