D36477.1790754658.diff
No OneTemporary
Actions

Size

478 B

Referenced Files

None

Subscribers

None

D36477.1790754658.diff
View Options

	diff --git a/sbin/veriexec/veriexec.c b/sbin/veriexec/veriexec.c
	--- a/sbin/veriexec/veriexec.c
	+++ b/sbin/veriexec/veriexec.c
	@@ -53,7 +53,7 @@
	veriexec_usage()
	{
	printf("%s",
	- "Usage:\tveriexec [-h] [-i state] [-C] [-xv state\|verbosity] [path]\n");
	+ "Usage:\tveriexec [-h] [-i state] [-C path] [-xv state\|verbosity] [path]\n");

	return (0);
	}
	@@ -140,7 +140,7 @@
	{
	long long converted_int;
	uint32_t state;
	- char c;
	+ int c;
	int x;

	if (argc < 2)