* configure,
[fw/sdcc] / configure
index 0f73bad4fe93c58afdf9289ae8f9bfaacccdbec5..997f3ba618f7a580b0bacd7baac9e344e55809fa 100755 (executable)
--- a/configure
+++ b/configure
@@ -9535,7 +9535,7 @@ sdcc ${VERSION} is now configured for
   Disable packihx:      ${OPT_DISABLE_PACKIHX}
   Disable ucsim:        ${OPT_DISABLE_UCSIM}
   Disable device lib:   ${OPT_DISABLE_DEVICE_LIB}
-  Disable ucsim:        ${OPT_DISABLE_UCSIM}
+  Disable sdcpp:        ${OPT_DISABLE_SDCPP}
   Enable documentation: ${OPT_ENABLE_DOC}
   Enable libgc:         ${OPT_ENABLE_LIBGC}
 
@@ -9580,7 +9580,7 @@ sdcc ${VERSION} is now configured for
   Disable packihx:      ${OPT_DISABLE_PACKIHX}
   Disable ucsim:        ${OPT_DISABLE_UCSIM}
   Disable device lib:   ${OPT_DISABLE_DEVICE_LIB}
-  Disable ucsim:        ${OPT_DISABLE_UCSIM}
+  Disable sdcpp:        ${OPT_DISABLE_SDCPP}
   Enable documentation: ${OPT_ENABLE_DOC}
   Enable libgc:         ${OPT_ENABLE_LIBGC}