From bab80e415d7c0093be2eb1e007d27e7424a134d5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= Date: Tue, 17 Nov 2020 16:20:02 +0100 Subject: [PATCH] splitSources.py: There is no output when the file contains only one source --- scripts/splitSources.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/splitSources.py b/scripts/splitSources.py index d31202fb7..68f978da6 100755 --- a/scripts/splitSources.py +++ b/scripts/splitSources.py @@ -7,7 +7,7 @@ # Usage: scripts/splitSources.py pathToTestfile # as a result prints # - string of created files separated by whitespaces -# - 'false' if the file only had one source +# - nothing if the input file contains only one source import sys import os