1 ?RCS: $Id: startsh.U 1 2006-08-24 12:32:52Z rmanfredi $
3 ?RCS: Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi
5 ?RCS: You may redistribute only under the terms of the Artistic Licence,
6 ?RCS: as specified in the README file that comes with the distribution.
7 ?RCS: You may reuse parts of this distribution only within the terms of
8 ?RCS: that same Artistic Licence; a copy of which may be found at the root
9 ?RCS: of the source tree for dist 4.0.
11 ?RCS: $Log: startsh.U,v $
12 ?RCS: Revision 3.0.1.1 1997/02/28 16:25:31 ram
13 ?RCS: patch61: avoid needless chatter since this is now done very early
15 ?RCS: Revision 3.0 1993/08/18 12:09:51 ram
16 ?RCS: Baseline for dist 3.0 netwide release.
18 ?MAKE:startsh: sh sharpbang eunicefix
19 ?MAKE: -pick add $@ %<
21 ?S: This variable contains the string to put on the front of a shell
22 ?S: script to make sure (hopefully) that it runs with sh and not some
26 : figure out how to guarantee sh startup
27 ?X: Avoid needless chatter since this is now done very early.
29 ?X: echo "Checking out how to guarantee sh startup..." >&2
31 '') startsh=${sharpbang}${sh} ;;
33 ?X: echo "Let's see if '$startsh' works..." ;;
44 : echo "Yup, it does."
46 echo "Hmm... '$startsh' does not guarantee sh startup..."
47 echo "You may have to fix up the shell scripts to make sure $sh runs them."