diff options
author | Michael Schwarz <michi.schwarz@gmail.com> | 2014-12-04 10:17:40 +0100 |
---|---|---|
committer | Michael Schwarz <michi.schwarz@gmail.com> | 2014-12-04 10:17:40 +0100 |
commit | b3f93f02fd2362664e98611845ac09beb894552a (patch) | |
tree | 08b5decc29643c6990177914e6e6fd7dc65f5d73 /generate_sources.sh | |
parent | 260351e7db666c32d2a389e1d77884a6fe74d380 (diff) | |
download | pogojig-b3f93f02fd2362664e98611845ac09beb894552a.tar.gz pogojig-b3f93f02fd2362664e98611845ac09beb894552a.tar.bz2 pogojig-b3f93f02fd2362664e98611845ac09beb894552a.zip |
Let the script to generate the sources also open the resulting files.
Diffstat (limited to 'generate_sources.sh')
-rwxr-xr-x | generate_sources.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 } |