diff options
Diffstat (limited to 'audio-creation/denemo/CONFIGURE')
-rwxr-xr-x | audio-creation/denemo/CONFIGURE | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/audio-creation/denemo/CONFIGURE b/audio-creation/denemo/CONFIGURE new file mode 100755 index 0000000000..c31d65455a --- /dev/null +++ b/audio-creation/denemo/CONFIGURE @@ -0,0 +1,10 @@ + +config_query GTK2 "Build for gtk+2 (requires wxGTK > 2.4.2 --not available yet) ?" n + +if [ $GTK2 == y ] +then + export OPTS="$OPTS --enable-gtk2" +fi + +echo "OPTS==$OPTS" + |