From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9e2f60618cf3eaa8
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-10-24 22:02:33 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: wilhelm.spickermann@t-online.de (Wilhelm Spickermann)
Newsgroups: comp.lang.ada
Subject: Re: Distributed Ada (Annex E)
Date: 24 Oct 2002 22:02:33 -0700
Organization: http://groups.google.com/
Message-ID: <807366e2.0210242102.6204eceb@posting.google.com>
References: <3DB479E6.1725E12C@lmco.nospammmmmm.com>
 <87lm4qsybu.fsf@inf.enst.fr> <7vlm4qoars.fsf@vlinux.voxelvision.no>
 <807366e2.0210221346.1d6b0df0@posting.google.com>
 <7vadl5o5m2.fsf@vlinux.voxelvision.no>
 <807366e2.0210232145.7e5d0d45@posting.google.com>
 <mailman.1035452822.3625.comp.lang.ada@ada.eu.org>
 <807366e2.0210240727.7ed8ba8c@posting.google.com>
 <mailman.1035487262.1881.comp.lang.ada@ada.eu.org>
NNTP-Posting-Host: 193.159.50.126
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1035522153 29184 127.0.0.1 (25 Oct 2002 05:02:33
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 25 Oct 2002 05:02:33 GMT
Xref: archiver1.google.com comp.lang.ada:30120
Date: 2002-10-25T05:02:33+00:00
List-Id: <comp.lang.ada>

"David C. Hoos" <david.c.hoos.sr@ada95.com> wrote in message news:<mailman.1035487262.1881.comp.lang.ada@ada.eu.org>...
...
> > > FWIW on my system (XP Professional) GNU sed version 3.02
> > > works just fine, but clearly the 013 is wrong, unless you're
> > > trying to delete Vertical Tabs (not very likely).
> >
> > Well, my 3.02 works fine too :-) . But AFAIK the backslash is used in sed
>  to
> > escape single characters and not for octal notation. So I think
> > sed 's/\015//g' is the same as
> > sed 's/015//g' and it does not remove any carriage returns but only
>  strings
> > "015".
> >
> At the shell prompt I issued sed s/015//g not sed 's/015//g'  -- perhaps
> that is the
> difference
> 
Hmm, I don't see any backslashes in your text... But even if I use 
sed s/\015//g it only results in deleting the string "015" while 
leaving the carriage returns untouched (bash and csh under Linux).

But the original problem was about the result of the lines in 
Garlic/Makefile.in and Dist/config.sdefault. They contained the 
apostrophes. I still presume they never removed any control characters.

Wilhelm