diff --git a/configure b/configure index 3715d169dbfe7174800dbcc3047f8d7c9a7c4f1b..1224fc4039ec0ce3b460de62ab9db2a11c793806 100755 --- a/configure +++ b/configure @@ -9520,6 +9520,9 @@ case " ${configdirs} " in *\ gdbserver\ *) configdirs="${configdirs} gnulib gdbsupport" ;; + *\ sim\ *) + configdirs="${configdirs} gnulib" + ;; esac # Strip out unwanted targets. diff --git a/configure.ac b/configure.ac index 626e2106cba7cba62572913e8e4121a67bf430d6..66d637d70dc5106fc480c03ee2e4f19419342277 100644 --- a/configure.ac +++ b/configure.ac @@ -2849,6 +2849,9 @@ case " ${configdirs} " in *\ gdbserver\ *) configdirs="${configdirs} gnulib gdbsupport" ;; + *\ sim\ *) + configdirs="${configdirs} gnulib" + ;; esac # Strip out unwanted targets.