diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-07-19 16:34:22 +0200 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2013-07-19 19:15:52 +0200 |
| commit | bef5fb5d5d7fecfed21a13004deb83bd90c2cdfe (patch) | |
| tree | 1002942ce916399ba0f31c869ba9f39e8b0c1580 /makemake_mingw_dev.sh | |
| parent | fa36afd4b61811fbce8e7bb8b41a9cf5e902077c (diff) | |
| download | gtk-vlc-player-bef5fb5d5d7fecfed21a13004deb83bd90c2cdfe.tar.gz | |
removed everything unrelated to the GtkVlcPlayer widget
Diffstat (limited to 'makemake_mingw_dev.sh')
| -rwxr-xr-x | makemake_mingw_dev.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/makemake_mingw_dev.sh b/makemake_mingw_dev.sh deleted file mode 100755 index 214374b..0000000 --- a/makemake_mingw_dev.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh - -autoreconf -i -./configure --prefix=/mingw \ - --enable-console \ - --enable-doxygen-doc \ - --enable-doxygen-extract-private \ - CFLAGS="-g -O0" |