summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorMike Frysinger <vapier@gentoo.org>2021-05-01 18:05:49 -0400
committerMike Frysinger <vapier@gentoo.org>2021-05-29 11:56:43 -0400
commit5c9e84c2d8208444772cae8130a23aa27407f32c (patch)
tree549d735f6de862152ae964f1f1548f78392a5053 /configure
parent63e47e10725f93a4c07ced83050b917bc9e6b205 (diff)
sim: leverage gnulib
We use getline, so leverage gnulib to provide fallback implementation.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 3 insertions, 0 deletions
diff --git a/configure b/configure
index 544a8d19c7..3dd206525a 100755
--- a/configure
+++ b/configure
@@ -7504,6 +7504,9 @@ case " ${configdirs} " in
*\ gdbserver\ *)
configdirs="${configdirs} gnulib gdbsupport"
;;
+ *\ sim\ *)
+ configdirs="${configdirs} gnulib"
+ ;;
esac
# Strip out unwanted targets.