diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-01-15 20:06:00 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-01-15 20:06:00 -0500 |
| commit | 3af8bcda28c4c831cf420ebba926dd9ac1f44d71 (patch) | |
| tree | 8b4d4ac8798b24270d3e4f3af6a93592659bb7e6 /tests/crypt.urs | |
| parent | fc2329192b052f4fd7716106baa443f5b4d53fa8 (diff) | |
Use -debug flag properly when compiling in single-source mode
Diffstat (limited to 'tests/crypt.urs')
0 files changed, 0 insertions, 0 deletions