diff options
Diffstat (limited to 'test/system')
-rw-r--r-- | test/system/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/system/Makefile.am b/test/system/Makefile.am index 0cd633dc6..e8e3f8c87 100644 --- a/test/system/Makefile.am +++ b/test/system/Makefile.am @@ -63,10 +63,10 @@ endif AM_CPPFLAGS = \ -I. \ + "-I@top_builddir@/src" \ "-I@top_srcdir@/src/include" \ "-I@top_srcdir@/lib" \ "-I@top_srcdir@/src" \ - "-I@top_builddir@/src" \ "-I@top_srcdir@/src/prop/minisat" \ -D __STDC_LIMIT_MACROS \ -D __STDC_FORMAT_MACROS \ |