diff --git a/dist/tools/genconfigheader/genconfigheader.sh b/dist/tools/genconfigheader/genconfigheader.sh index 0d17d48d74c84b5282e33d9245a5871077f7579c..247387a3bed0de1a4ecab7f5b86a8cf5e4a0cc37 100755 --- a/dist/tools/genconfigheader/genconfigheader.sh +++ b/dist/tools/genconfigheader/genconfigheader.sh @@ -42,6 +42,9 @@ set -e echo "/* DO NOT edit this file, your changes will be overwritten and won't take any effect! */" > "${TMPFILE}" echo "/* Generated from CFLAGS: $@ */" >> "${TMPFILE}" + +[ -n "${LTOFLAGS}" ] && echo "/* LTOFLAGS=${LTOFLAGS} */" >> "${TMPFILE}" + for arg in "$@"; do case ${arg} in -D*)