From 0abb92c0868a9673220f3bfc7f7d9272558a5c6e Mon Sep 17 00:00:00 2001
From: Mathieu Giraud <mathieu.giraud@univ-lille.fr>
Date: Thu, 23 Apr 2020 17:40:07 +0200
Subject: [PATCH] demo/kill-on-timeout.should: !EXIT_CODE is now mandatory here

---
 demo/kill-on-timeout.should | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/demo/kill-on-timeout.should b/demo/kill-on-timeout.should
index 7688c32..7ebc4f9 100644
--- a/demo/kill-on-timeout.should
+++ b/demo/kill-on-timeout.should
@@ -1,7 +1,10 @@
 # when task takes too many time it should be killed by should.py
 
+!EXIT_CODE: 1
 ./should --timeout 1 demo/tests/timeout.should
+
 # Check that the script is not running anymore
+!EXIT_CODE: 0
 ps awux | grep  'seq 1 10.*sleep' | grep -v grep || echo "not found"
 
 $ The task must time out
-- 
GitLab