diff options
Diffstat (limited to 'build/buildone.sh')
| -rwxr-xr-x | build/buildone.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/buildone.sh b/build/buildone.sh index 619ea2e36..47b09e4ec 100755 --- a/build/buildone.sh +++ b/build/buildone.sh @@ -81,6 +81,7 @@ create_profiled () { echo "<!-- arch- and lang-specific non-profilable entities -->" > $dynamic echo "<!ENTITY langext \".${language}\">" >> $dynamic echo "<!ENTITY architecture \"${arch}\">" >> $dynamic + echo "<!ENTITY arch-kernel \"${arch_kernel}\">" >> $dynamic echo "<!ENTITY arch-listname \"${arch_listname}\">" >> $dynamic echo "<!ENTITY altkernelversion \"${altkernelversion}\">" >> $dynamic echo "<!ENTITY smp-config-section \"${smp_config_section}\">" >> $dynamic |