diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-20 13:36:42 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-20 13:36:42 +0000 |
| commit | a9f4d42652dfd99413a8d09ba70869cbf137419a (patch) | |
| tree | 9e0f451358fe11c7454dc7689a472239ce20d70f /src | |
| parent | 6c5ee3d6667a869a3f9b36cc4b036de3fde33f06 (diff) | |
Setup.hs: less verbose output during the compilation of the RGL
Only show the full gf command line if an error occurs.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions