You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 6188 Reporter: terabyte Status: closed (set by @xavierleroy on 2017-02-16T14:16:38Z) Resolution: unable to duplicate Priority: normal Severity: minor Platform: unix OS: sunOS OS Version: 5.10 Version: 4.01.0 Target version: 4.03.0+dev / +beta1 Category: configure and build/install Monitored by: Camarade_Tux
Bug description
when installing ocaml in a local directory on sunOS 5.10, sed gives a 'command garbled' error, presumably having to do with the portability of sed among the different unix platforms.
On a related note, why do we need the backslash just before that space? On MacOS, it seems to be here just to prevent sed from interpreting the space as a special character, but the space is not a special character anyway.
In the absence of new information, I'm closing this PR. Note that #7030 reports no problem of the kind described here during a recent build on Solaris 10.
Original bug ID: 6188
Reporter: terabyte
Status: closed (set by @xavierleroy on 2017-02-16T14:16:38Z)
Resolution: unable to duplicate
Priority: normal
Severity: minor
Platform: unix
OS: sunOS
OS Version: 5.10
Version: 4.01.0
Target version: 4.03.0+dev / +beta1
Category: configure and build/install
Monitored by: Camarade_Tux
Bug description
when installing ocaml in a local directory on sunOS 5.10, sed gives a 'command garbled' error, presumably having to do with the portability of sed among the different unix platforms.
Steps to reproduce
Additional information
see the attached make_output file for more info.
File attachments
The text was updated successfully, but these errors were encountered: