From b3f93f02fd2362664e98611845ac09beb894552a Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michi.schwarz@gmail.com>
Date: Thu, 4 Dec 2014 10:17:40 +0100
Subject: Let the script to generate the sources also open the resulting files.

---
 generate_sources.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generate_sources.sh')

diff --git a/generate_sources.sh b/generate_sources.sh
index 2d33554..67fa258 100755
--- a/generate_sources.sh
+++ b/generate_sources.sh
@@ -13,7 +13,7 @@ function generate_file() {
 	if ! [ "$current_file_name" ]; then
 		echo "$file_name"
 	elif [ "$current_file_name" == "$file_name" ]; then
-		"${generate_command[@]}"
+		"${generate_command[@]}" > "$file_name"
 	fi
 }
 
-- 
cgit