diff options
| author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-12-10 23:31:54 +0000 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-12-10 23:31:54 +0000 |
| commit | cca44008d81209e9fa992157637d9de0384e0536 (patch) | |
| tree | e13728c80e91a8cff28f98ca7d7e6dea2359e05f /configure | |
| parent | RDBG headers files ignored if not configured (diff) | |
| download | rtems-cca44008d81209e9fa992157637d9de0384e0536.tar.bz2 | |
Merged Eric Norum's select patch that was based on 4.0 and resolved
all conflicts.
Diffstat (limited to 'configure')
| -rw-r--r-- | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -806,7 +806,7 @@ case "${enableval}" in *) { echo "configure: error: bad value ${enableval} for enable-rdbg option" 1>&2; exit 1; } ;; esac else - RTEMS_HAS_RDBG=yes + RTEMS_HAS_RDBG=no fi |