From 203741c51b9178e47b6bfe759f05f82a04175a44 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 28 Jul 2014 14:39:54 +0200
Subject: [PATCH] Shell script to generate a simple tesh file

---
 buildtools/Cmake/DefinePackages.cmake |  1 +
 tools/tesh/generate_tesh              | 16 ++++++++++++++++
 2 files changed, 17 insertions(+)
 create mode 100755 tools/tesh/generate_tesh

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 38c3add839..e3eeaf5518 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -127,6 +127,7 @@ set(EXTRA_DIST
   src/xbt/win32_ucontext.c
   tools/tesh/run_context.h
   tools/tesh/tesh.h
+  tools/tesh/generate_tesh
   examples/smpi/mc/non_deterministic.tesh
   examples/smpi/mc/send_deterministic.tesh
   )
diff --git a/tools/tesh/generate_tesh b/tools/tesh/generate_tesh
new file mode 100755
index 0000000000..23ec02863e
--- /dev/null
+++ b/tools/tesh/generate_tesh
@@ -0,0 +1,16 @@
+#!/bin/sh
+# Generate a tesh file from a given command (simple case).
+
+command="$1"
+output=$(sh -c "$command" 2>&1)
+return=$?
+
+tesh="#! ./tesh
+
+! expect return $return
+$ $command
+$(echo "$output" | sed 's/^/> /' )
+"
+
+echo "$tesh"
+echo "$tesh" | tesh 1>&2
-- 
2.20.1