diff options
| author | Norbert Thiebaud <nthiebaud@gmail.com> | 2011-07-21 08:54:33 -0500 |
|---|---|---|
| committer | Norbert Thiebaud <nthiebaud@gmail.com> | 2011-08-06 13:07:56 -0500 |
| commit | b5d5e97b4bf01caf923d0082a8be33f85dabe8e0 (patch) | |
| tree | 8868bfdbccc64ba89352dffb36adfa532e654f32 /configure.in | |
| parent | d44c8ad6ad971896a68ae14f9986418e5685ed3a (diff) | |
binfilter is now a separate repo
Diffstat (limited to 'configure.in')
| -rwxr-xr-x | configure.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 5ed48f9f4c3b..3ced1ab14f21 100755 --- a/configure.in +++ b/configure.in @@ -2197,6 +2197,7 @@ if test "$enable_binfilter" = "no"; then else WITH_BINFILTER="YES" BUILD_TYPE="$BUILD_TYPE BINFILTER" + GIT_REPO_NAMES="$GIT_REPO_NAMES binfilter" AC_MSG_RESULT([yes]) fi AC_SUBST(WITH_BINFILTER) |