diff options
Diffstat (limited to 'extra')
| -rwxr-xr-x | extra/scripts/initfini.pl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/extra/scripts/initfini.pl b/extra/scripts/initfini.pl index 9a5c3ba09..ec6bdb36b 100755 --- a/extra/scripts/initfini.pl +++ b/extra/scripts/initfini.pl @@ -81,6 +81,14 @@ while(<INITFINI>) { $omitcrti = 0; next; } + if (/PROLOG_PAUSES/) { + $omitcrti = 1; + next; + } + if (/PROLOG_UNPAUSES/) { + $omitcrti = 0; + next; + } if (/PROLOG_ENDS/) { $omitcrti = 1; next; |