From e320e62e0ef88592843f701ee6707071ade40241 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Thu, 24 Oct 2013 10:41:07 +0200
Subject: [PATCH 1/1] tesh.pl: tesh input can be received on stdin, even with
 no args.

---
 buildtools/Cmake/Scripts/tesh.pl | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/buildtools/Cmake/Scripts/tesh.pl b/buildtools/Cmake/Scripts/tesh.pl
index 91706639aa..b365b4e0e3 100755
--- a/buildtools/Cmake/Scripts/tesh.pl
+++ b/buildtools/Cmake/Scripts/tesh.pl
@@ -52,9 +52,6 @@ sub trim($)
     return $string;
 }
 
-# make sure we received a tesh file
-scalar @ARGV > 0 || die "Usage:\n  tesh [*options*] *tesh_file*\n";
-
 #Add current directory to path
 $ENV{PATH} = "$ENV{PATH}:.";
 
-- 
2.20.1