diff options
Diffstat (limited to 'hints/utekv.sh')
| -rw-r--r-- | hints/utekv.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/hints/utekv.sh b/hints/utekv.sh index ebc7809c60..95a31fdedf 100644 --- a/hints/utekv.sh +++ b/hints/utekv.sh @@ -6,7 +6,7 @@ ccflags="$ccflags -X18" usemymalloc='y' -echo " " -echo "NOTE: You may have to take out makefile dependencies on the files in" -echo "/usr/include (i.e. /usr/include/ctype.h) or the make will fail. A" -echo "simple 'grep -v /usr/include/ makefile' should suffice." +echo " " >&4 +echo "NOTE: You may have to take out makefile dependencies on the files in" >&4 +echo "/usr/include (i.e. /usr/include/ctype.h) or the make will fail. A" >&4 +echo "simple 'grep -v /usr/include/ makefile' should suffice." >&4 |