diff options
Diffstat (limited to '')
| -rw-r--r-- | auto/lib/pcre/make | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/auto/lib/pcre/make b/auto/lib/pcre/make new file mode 100644 index 000000000..836668619 --- /dev/null +++ b/auto/lib/pcre/make @@ -0,0 +1,7 @@ + +echo "$PCRE/.libs/libpcre.a:" >> $MAKEFILE +echo " cd $PCRE \\" >> $MAKEFILE +echo " && ./configure --disable-shared \\" >> $MAKEFILE +echo " && \$(MAKE)" >> $MAKEFILE +echo >> $MAKEFILE + |