diff options
author | Bryan Jurish <mukau@users.sourceforge.net> | 2008-12-07 19:22:40 +0000 |
---|---|---|
committer | Bryan Jurish <mukau@users.sourceforge.net> | 2008-12-07 19:22:40 +0000 |
commit | f7381563635cf0da083d672f88cf46457677c432 (patch) | |
tree | 712d33b804e6df49da634dd6b9aa47297dc0d4e9 /gfsm/gfsm/configure.gnu | |
parent | 51b379a0186e4048d4fe09d43c610d41bbfaa458 (diff) |
+ disabled flex, bison in local gfsm build (breaks on pd-extended darwin,ubuntu)
+ merged in small bugfixes from upstream gfsm repository (upstream rev=583)
svn path=/trunk/externals/moocow/; revision=10428
Diffstat (limited to 'gfsm/gfsm/configure.gnu')
-rwxr-xr-x | gfsm/gfsm/configure.gnu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gfsm/gfsm/configure.gnu b/gfsm/gfsm/configure.gnu index 43819e7..94638a6 100755 --- a/gfsm/gfsm/configure.gnu +++ b/gfsm/gfsm/configure.gnu @@ -1,3 +1,3 @@ #!/bin/sh -exec ./configure "$@" --disable-doc --disable-programs --disable-shared --prefix="$PWD/../../extended/build.moo/noinstall" +exec ./configure "$@" FLEX=no BISON=no --disable-doc --disable-programs --disable-shared --prefix="$PWD/../../extended/build.moo/noinstall" |