diff options
Diffstat (limited to 'src/grt/Makefile.inc')
| -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 7ac0c96d2..4a8af7646 100644 --- a/src/grt/Makefile.inc +++ b/src/grt/Makefile.inc @@ -178,7 +178,7 @@ grt-files: run-bind.adb # Also remove -lgnat and its associated -L flags. This appears to be required # with GNAT GPL 2005. grt-files.in: grt-files - sed -e "\!^./!d" -e "/-shared/d" -e "/-static/d" -e "/-lgnat/d" \ + sed -e "\!^.[/\\]!d" -e "/-shared/d" -e "/-static/d" -e "/-lgnat/d" \ -e "\X-L/Xd" < $< > $@ grt.lst: grt-files.in |