> >checking for which gui to use... batch > >configure: error: batch is not a valid gui That works just fine for me, using the git head. _______________________________________________ geda-user mailing list geda-user@xxxxxxxxxxxxxx http://www.seul.org/cgi-bin/mailman/listinfo/geda-user