If we're compiling with gcc, mark adios() as never returning (better code
[mmh] / config / version.sh
1999-04-30 Doug MorrisInitial revision