Skip to content
Snippets Groups Projects
Commit defd8d54 authored by John Ericson's avatar John Ericson Committed by Marge Bot
Browse files

Avoid raw `echo` in `FPTOOLS_SET_PLATFORM_VARS`

This ensures quiet configuring works.
parent 86c14db5
No related branches found
No related tags found
No related merge requests found
......@@ -105,7 +105,7 @@ AC_DEFUN([FPTOOLS_SET_PLATFORM_VARS],
$2Vendor_CPP=` echo "[$]$2Vendor" | sed -e 's/\./_/g' -e 's/-/_/g'`
$2OS_CPP=` echo "[$]$2OS" | sed -e 's/\./_/g' -e 's/-/_/g'`
echo "GHC $1 : [$]$2Platform"
AC_MSG_NOTICE([GHC ]$1[ : $]$2[Platform])
AC_SUBST($2Platform)
AC_SUBST($2Platform_CPP)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment