diff options
author | Christian Cornelssen <ccorn@1tein.de> | 2018-05-17 19:57:58 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2018-05-20 07:23:48 +0200 |
commit | 66bb0718a3b8659f7c7362fcc1061140f0416344 (patch) | |
tree | fbbefbeab7b2fae1a2f562d55e376f9be37f338f /src/grt | |
parent | 828c610f31bc8ad4c1a14fc238accbb15e5cf959 (diff) | |
download | ghdl-66bb0718a3b8659f7c7362fcc1061140f0416344.tar.gz ghdl-66bb0718a3b8659f7c7362fcc1061140f0416344.tar.bz2 ghdl-66bb0718a3b8659f7c7362fcc1061140f0416344.zip |
src/grt/Makefile.inc: grt/grt-files: Remove CR from line ends
Under Cygwin, generated *.adb files get CRLF line endings.
These get propagated to grt/grt-files and later confuse the
ar command for libgrt.a (because IFS does not contain CR).
Diffstat (limited to 'src/grt')
-rw-r--r-- | src/grt/Makefile.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/grt/Makefile.inc b/src/grt/Makefile.inc index 48acc1423..9c6fad5a0 100644 --- a/src/grt/Makefile.inc +++ b/src/grt/Makefile.inc @@ -205,7 +205,7 @@ grt-disp-config: grt/grt-files: grt/run-bind.adb sed -e "1,/-- *BEGIN/d" -e "/-- *END/,\$$d" \ - -e "s/ -- //" < $< > $@ + -e "s/ -- //" < $< | tr -d '\r' > $@ # Remove local files (they are now in the libgrt library). # Also, remove the -shared option, in order not to build a shared library |