Re: error compiling latest rep-gtk

["Jose A. Ortega Ruiz" <jao gnu org>]

Christopher Roy Bratusek <zanghar freenet de> writes:

> Am Freitag, den 09.10.2009, 13:28 +0200 schrieb Jose A. Ortega Ruiz:
>> In the latest rep-gtk sources i'm getting this error when running make:
>> 
>>   LC_ALL=C rep build-gtk.jlc -f build-gtk-batch gtk.defs gtk-glue.c
>>   *** Error: Unknown type: void
>>   make: *** [gtk-glue.c] Error 1
>> 
>
> I've just fixed it.

Indeed. It works here too. Thanks a lot (that was quick!).

Cheers,
jao
-- 
No army can withstand the strength of an idea whose time has come.
  - Victor Hugo