diff options
| author | Michael Schwarz <michi.schwarz@gmail.com> | 2015-09-10 23:04:44 +0200 |
|---|---|---|
| committer | Michael Schwarz <michi.schwarz@gmail.com> | 2015-09-16 01:41:46 +0200 |
| commit | 4a1b8166e1263eadff3ae0580ba3780dfd0a0e86 (patch) | |
| tree | 3ce441549e17f320d2dc977e99fad640c1dd92bf /generate_sources.sh | |
| parent | a6b45d8e86c934ee09f338a3b8ab08ce2dd95255 (diff) | |
| download | pogojig-4a1b8166e1263eadff3ae0580ba3780dfd0a0e86.tar.gz pogojig-4a1b8166e1263eadff3ae0580ba3780dfd0a0e86.tar.bz2 pogojig-4a1b8166e1263eadff3ae0580ba3780dfd0a0e86.zip | |
Only print abstract information about commands being executed.
Most commands only show the python wrapper being called, which does not tell the user much anyways.
Diffstat (limited to 'generate_sources.sh')
0 files changed, 0 insertions, 0 deletions