r1211582 | danielsh | 2011-12-07 18:31:28 +0000 (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)