?RCS: $Id: Warn.U 167 2013-05-08 17:58:00Z rmanfredi $ ?RCS: ?RCS: Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi ?RCS: ?RCS: You may redistribute only under the terms of the Artistic License, ?RCS: as specified in the README file that comes with the distribution. ?RCS: You may reuse parts of this distribution only within the terms of ?RCS: that same Artistic License; a copy of which may be found at the root ?RCS: of the source tree for dist 4.0. ?RCS: ?RCS: $Log: Extract.U,v $ ?X: ?X: This unit produces a shell script which can be run in order to emit ?X: an important warning to the user, which will be remembered and shown ?X: at the end of the Configure run as well. ?X: ?X: A typical use would be: ?X: ?X: ./warn <warn <msg else cat >msg fi ?X: Emit the warning, prefixing all lines with '*** ' echo "*** WARNING:" >&4 sed -e 's/^/*** /' &4 echo "*** " >&4 ?X: Save the warning in the logs, which will be shown again at the end cat msg >>config.msg echo " " >>config.msg rm -f msg EOS chmod +x warn $eunicefix warn