diff options
author | Thomas Grill <xovo@users.sourceforge.net> | 2004-06-22 02:38:28 +0000 |
---|---|---|
committer | Thomas Grill <xovo@users.sourceforge.net> | 2004-06-22 02:38:28 +0000 |
commit | a5b1fb9db8d71b9132c31fa238cf22af0267a248 (patch) | |
tree | 51f99a07c655614fc4b03921daccd6bc72a60958 | |
parent | 28e19a8b7ba39201f0057ad0e68488c1b38c5c2e (diff) |
""
svn path=/trunk/; revision=1828
-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 |