Fixes a problem introduced by
57d2761b where ccflags contents
with quotes got broken by the quotes getting stripped.
# Code to set any extra flags here.
extra=''
+# Protect double or single quotes for better restoring of ccflags.
+myccflags=`echo $ccflags | sed -e 's/"/\\\"/g' -e "s/'/\\\'/g"`
+
echo "Extracting cflags (with variable substitutions)"
# This section of the file will have variable substitutions done on it.
# Move anything that needs config subs from !NO!SUBS! section to !GROK!THIS!.
# This file is generated by cflags.SH
# Used to restore possible edits by cflags.SH.
-myccflags="$ccflags"
+myccflags="$myccflags"
+
# Extra warnings, used e.g. for gcc.
warn="$warn"
# Extra standardness.