diff options
Diffstat (limited to 'Src/Makefile.in')
| -rw-r--r-- | Src/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Src/Makefile.in b/Src/Makefile.in index 7ad9dc918..f5c371824 100644 --- a/Src/Makefile.in +++ b/Src/Makefile.in @@ -124,7 +124,7 @@ modules-bltin: Makefile if test -f mymods.conf; then \ cat mymods.conf > $@; \ elif test @D@ = N; then \ - cat $(sdir)/xmods.conf > $@; \ + sed -n '/L.* /{s/^.* //;p;}' < $(sdir)/xmods.conf > $@; \ else \ echo > $@; \ fi |