diff options
Diffstat (limited to 'Makefile.def')
-rw-r--r-- | Makefile.def | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.def b/Makefile.def index 8701501..15c068e 100644 --- a/Makefile.def +++ b/Makefile.def @@ -612,6 +612,7 @@ dependencies = { module=check-libctf; on=all-ld; }; // gdb and gdbserver. dependencies = { module=distclean-gnulib; on=distclean-gdb; }; dependencies = { module=distclean-gnulib; on=distclean-gdbserver; }; +dependencies = { module=distclean-gnulib; on=distclean-sim; }; // Warning, these are not well tested. dependencies = { module=all-bison; on=all-intl; }; |