diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 502e4c3..98d60c5 100644 --- a/configure.ac +++ b/configure.ac @@ -238,6 +238,7 @@ AC_CONFIG_FILES([Makefile plugins/pyoida/arch/Makefile plugins/pyoida/format/Makefile plugins/stackvars/Makefile + plugins/theseus/Makefile src/Makefile src/analysis/Makefile src/arch/Makefile |