seitan: add op_end

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

1 files changed, 3 insertions, 0 deletions

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);