summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config.make.in5
1 files changed, 4 insertions, 1 deletions
diff --git a/config.make.in b/config.make.in
index 0f3d0b66..da1e571d 100644
--- a/config.make.in
+++ b/config.make.in
@@ -4,6 +4,9 @@
machine = @host_cpu@
asm_syntax = @asm_syntax@
+# Build options.
+build-profiled = @enable_profile@
+
# Prefix prepended to names of machine-independent installed files.
prefix = @prefix@
# Prefix prepended to names of machine-dependent installed files.
@@ -37,7 +40,7 @@ RANLIB = @RANLIB@
MIG = @MIG@
MIGCOM = $(MIG) -cc cat - /dev/null
-# Compilation flags. Append these to the definitions already made by
+# Compilation flags. Append these to the definitions already made by
# the specific Makefile.
CPPFLAGS += @CPPFLAGS@ @DEFS@
CFLAGS += @CFLAGS@