From: Ian Lynagh <igloo@earth.li>
Date: Thu, 24 Sep 2009 17:10:25 +0000 (+0000)
Subject: Make some sed more portable: Use \{0,1\} instead of \?
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=f4b0d8b33d175ec0a6c708eab5e6d6cb6ddd3262

Make some sed more portable: Use \{0,1\} instead of \?
---

diff --git a/boot-pkgs b/boot-pkgs
index 353112b..91da9a3 100644
--- a/boot-pkgs
+++ b/boot-pkgs
@@ -3,7 +3,7 @@ set -e
 
 libraries=
 
-tarred=`ls -1 libraries/tarballs | sed "s/-[0-9.]*\(-snapshot\)\?.tar.gz//"`
+tarred=`ls -1 libraries/tarballs | sed "s/-[0-9.]*\(-snapshot\)\{0,1\}.tar.gz//"`
 
 for p in $tarred
 do