diff options
Diffstat (limited to 'externals/grill/pool/build-pd-mingw.bat')
| -rw-r--r-- | externals/grill/pool/build-pd-mingw.bat | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/externals/grill/pool/build-pd-mingw.bat b/externals/grill/pool/build-pd-mingw.bat deleted file mode 100644 index 1a2f503b..00000000 --- a/externals/grill/pool/build-pd-mingw.bat +++ /dev/null @@ -1,4 +0,0 @@ -@echo --- Building with MinGW --- - -mingw32-make -f makefile.pd-mingw clean -mingw32-make -f makefile.pd-mingw |