r1211582 | danielsh | 2011-12-07 12:31:28 -0600 (Wed, 07 Dec 2011) * tools/dist/dist.sh: Re-fix the sed, after r1159741. Found by: Shane Turner <shane.turner@newpace.ca> (fix suggested by Philip)