diff options
Diffstat (limited to 'build_detect_platform')
-rw-r--r-- | build_detect_platform | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build_detect_platform b/build_detect_platform index 7cdb793..5801d20 100644 --- a/build_detect_platform +++ b/build_detect_platform @@ -141,7 +141,8 @@ DIRS="$PREFIX/db $PREFIX/util $PREFIX/table" set -f # temporarily disable globbing so that our patterns aren't expanded PRUNE_TEST="-name *test*.cc -prune" PRUNE_BENCH="-name *_bench.cc -prune" -PORTABLE_FILES=`find $DIRS $PRUNE_TEST -o $PRUNE_BENCH -o -name '*.cc' -print | sort | sed "s,^$PREFIX/,," | tr "\n" " "` +PRUNE_TOOL="-name leveldb_main.cc -prune" +PORTABLE_FILES=`find $DIRS $PRUNE_TEST -o $PRUNE_BENCH -o $PRUNE_TOOL -o -name '*.cc' -print | sort | sed "s,^$PREFIX/,," | tr "\n" " "` set +f # re-enable globbing |