seitan: add op_end

The op_end signal to terminate reading the operations. This is useful
for the introductions of branches for the matches.

2 files changed, 4 insertions, 0 deletions

diff --git a/gluten.h b/gluten.h
index 699d682..69a6b6b 100644
--- a/gluten.h
+++ b/gluten.h
@@ -51,6 +51,7 @@ enum op_type {
 	OP_INJECT_A,
 	OP_RETURN,
 	OP_COPY_ARGS,
+	OP_END,
 };
 
 enum value_type {
diff --git a/operations.c b/operations.c
index 6b19212..8cd0828 100644
--- a/operations.c
+++ b/operations.c
@@ -311,6 +311,9 @@ int do_operations(void *data, struct op operations[], struct seccomp_notif *req,
 				      notifyfd) < 0)
 				return -1;
 			break;
+		case OP_END:
+			return 0;
+			break;
 		default:
 			fprintf(stderr, "unknow operation %d \n",
 				operations[i].type);