Daniel De Graaf 63ee70ebd0 flask: Fix 32-bit compilation of label-pci tool ...

The 32-bit tools need to support 64-bit addresses, so use the correct
printf/scanf formats. Also, some systems declare fscanf with attribute
warn_unused_result, so check the result instead of relying on the
value of start being unmodified across a failed call.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>

2011-12-05 19:32:05 +00:00

..

libflask

tools: Remove $(CFLAGS) from links lines.

2011-03-31 19:32:18 +01:00

policy

xsm: clean up initial SIDs

2011-12-02 13:48:31 -08:00

utils

flask: Fix 32-bit compilation of label-pci tool

2011-12-05 19:32:05 +00:00

Makefile

build: Make XEN_ROOT an absolute path.

2011-03-17 10:36:25 +00:00