Small glitch in bootstrap

[Paul Hilfinger]

What is this line (line 87 in my version) in the 'bootstrap' script
supposed to do?

    trap - 0

On Solaris, at least, it gives an annoying error message at the end of
the bootstrap process.  On that OS, it should be

   trap 0 

or 

   trap '' 0

But I don't know how it behaves on other OS's.

P. Hilfinger