diff --git a/extra/pcre/platforms.txt b/extra/pcre/platforms.txt new file mode 100644 index 0000000000..509143d863 --- /dev/null +++ b/extra/pcre/platforms.txt @@ -0,0 +1 @@ +unix