diff options
| -rw-r--r-- | polly/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/Makefile b/polly/Makefile index 665c13a183d..2ad5b363e2f 100644 --- a/polly/Makefile +++ b/polly/Makefile @@ -8,7 +8,7 @@ # Indicates our relative path to the top of the project's root directory. # LEVEL = . -DIRS = lib tools +DIRS = lib test tools EXTRA_DIST = include # |
