diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2015-08-06 17:34:02 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2015-08-06 17:34:02 +0200 |
commit | 3db6e952517da29135b1e0fd76bfeef8808f5a04 (patch) | |
tree | d7a3a8c089cef29c756fe78fe6e823d5d0ddce13 /configure.ac | |
parent | 21d71d7eae49f63d82ee91db62e3b2f7fb739abf (diff) |
The tree has got back its original layout (i.e. getting rid of this
'melted' directory) and *a lot* of files from the mint's tree have been
imported there. The main expectation is to cut off from these imported files
as much as source code possible, which is actually not needed; although
presumably, that will regard just a small percentage of that source code.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 2792558f..400045be 100644 --- a/configure.ac +++ b/configure.ac @@ -177,5 +177,7 @@ AC_TYPE_UINTMAX_T # Checks for library functions. AC_CHECK_FUNCS([strdup]) -AC_CONFIG_FILES([src/backend/Makefile]) +AC_CONFIG_FILES([Makefile +src/Makefile +src/backend/Makefile]) AC_OUTPUT |