diff options
Diffstat (limited to 'externals')
| -rwxr-xr-x | externals/grill/pool/config-pd-mingw.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/externals/grill/pool/config-pd-mingw.txt b/externals/grill/pool/config-pd-mingw.txt index 18d6800e..a4988e74 100755 --- a/externals/grill/pool/config-pd-mingw.txt +++ b/externals/grill/pool/config-pd-mingw.txt @@ -21,4 +21,4 @@ INSTPATH=$(PDPATH)/extra UFLAGS= # define for shared build -FLEXT_SHARED=1 +#FLEXT_SHARED=1 |