boot.sh: Avoid the need for Git repository information
authorBen Pfaff <blp@nicira.com>
Tue, 31 Mar 2009 23:52:57 +0000 (16:52 -0700)
committerBen Pfaff <blp@nicira.com>
Tue, 31 Mar 2009 23:52:57 +0000 (16:52 -0700)
commit61538212518f3b4ce4f4e1aec1e460d1e9c580e8
treef5301e52fbad28079e7d0cc236e6b790fe9646c5
parentcf4108e0d43c16302d1def8868943ea6482cb92b
boot.sh: Avoid the need for Git repository information

It should not be necessary to have a Git repository to run boot.sh; a
checked-out tree should be sufficient.  This makes it so.

Some corresponding changes to ext are necessary also.
boot.sh