Stephen J. Kiernan stevek at FreeBSD.org 
Wed Jun 20 00:41:33 UTC 2018

Author: stevek
Date: Wed Jun 20 00:41:30 2018
New Revision: 335399
URL: 
https://svnweb.freebsd.org/changeset/base/335399


Log:
  MAC/veriexec implements a verified execution environment using the MAC
  framework.

. . .


But the logs on ci.freebsd.prg show for -r335399 and later for
FreeBSD-head-{armv6,ar,m7,i386,mips,powerpc,powerpcspe}-build
messages like:


--- all_subdir_mac_veriexec ---
cc1: warnings being treated as errors
/usr/src/sys/security/mac_veriexec/veriexec_fingerprint.c: In function 
'identify_error':
/usr/src/sys/security/mac_veriexec/veriexec_fingerprint.c:115: warning: format 
'%lu' expects type 'long unsigned int', but argument 5 has type 'dev_t' 
[-Wformat]
/usr/src/sys/security/mac_veriexec/veriexec_fingerprint.c:115: warning: format 
'%lu' expects type 'long unsigned int', but argument 6 has type 'ino_t' 
[-Wformat]
. . .
--- all_subdir_mac_veriexec ---
*** [veriexec_fingerprint.o] Error code 1

And, as a result, those builds fail on ci.freebsd.org .

Basically the 32-bit architectures fail and the 64-bit
ones do not (for the same code).


I've not checked the later *veriex* related check-ins:

-r335400
-r335401
-r335402

for possible similar problems.

===
Mark Millard
marklmi at yahoo.com
( dsl-only.net went
away in early 2018-Mar)

_______________________________________________
svn-src-head@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/svn-src-head
To unsubscribe, send any mail to "svn-src-head-unsubscr...@freebsd.org"

Reply via email to