>------ Comment #4 from pinskia at gcc dot gnu dot org 2006-05-08 16:31 -------
> [ "x${main}" != "x" ] should also work and maybe a little more portable.That's also fine, although overkill these days. All host OSes supported by GNAT (and more) accept the following simpler and cleaner syntax: if [ "$main" != "" ]; then or the other way around as needed here: if [ "$main" = "" ]; then Arno
