Subject: Re: Kernel Compiling and other problems
To: A.S.MCGough <riscbsd@court4.ncl.ac.uk>
From: Mr S.K. Stevens <s.k.stevens@ic.ac.uk>
List: port-arm32
Date: 12/10/1997 11:26:00
At Wed, 10 Dec 1997 00:01:36 +0000 (GMT), "A.S.MCGough" wrote:
>
>The compilation gets as far as compiling disassem.c and stops with the
>following error:
>
>In file included from ../../../../arch/arm32/arm32/disassem.c:54:
>../../../../arch/arm32/arm32/disassem.h:43: argument format specified for
>non-function `di_printf'
>*** Error code 1
>
>Stop.

Using my usual trick of deleting things until it works ;-), try changing

        void    (*di_printf) __P((const char *, ...))
                    __kprintf_attribute__((__format__(__kprintf__,1,2)));

to
        void    (*di_printf) __P((const char *, ...));

ie get rid of the __kprintf_attribute__ bit.

I'm sure Mark has the correct fix...

>thanks.
>
>steve..

Cheers Scott


-- 
Scott Stevens, Imperial College. Tel/Fax: 0171 594 6975/7 Mob: 07970 716 712
"He who controls the spice controls the universe"
                                                  - Baron Harkonnen, Dune