diff options
| author | Jordan K. Hubbard <jkh@FreeBSD.org> | 1996-05-29 22:38:37 +0000 |
|---|---|---|
| committer | Jordan K. Hubbard <jkh@FreeBSD.org> | 1996-05-29 22:38:37 +0000 |
| commit | 5c6b0b391751cf944e107a5ddab480f5b3d82f51 (patch) | |
| tree | ee836fb7d1770d9cc76d401b0cbc83b61858ffc0 /gnu/include | |
| parent | d2d02801b93cc9bf0c9fadd6d3a319d2ebe85b4e (diff) | |
Notes
Diffstat (limited to 'gnu/include')
| -rw-r--r-- | gnu/include/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/include/Makefile b/gnu/include/Makefile index e05dbf801302..aa06524cf445 100644 --- a/gnu/include/Makefile +++ b/gnu/include/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.19 1994/11/01 09:19:50 pst Exp $ +# $Id: Makefile,v 1.1 1994/11/08 00:47:02 ache Exp $ # all depend lint tags: @@ -9,7 +9,7 @@ beforeinstall: @${ECHO} installing ${FILES} @-for i in ${FILES}; do \ cmp -s $$i ${DESTDIR}/usr/include/$$i || \ - install -c -o ${BINOWN} -g ${BINGRP} -m 444 $$i \ + ${INSTALL} -c -o ${BINOWN} -g ${BINGRP} -m 444 $$i \ ${DESTDIR}/usr/include/$$i; \ done |