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 | 24796b700bb497897bdcd2671c1083f0c462906a (patch) | |
| tree | 8b4d4ac8798b24270d3e4f3af6a93592659bb7e6 /tests/crypt.urs | |
| parent | 379843b4a2e92fed85903a77131d5eeeb717d85b (diff) | |
Use -debug flag properly when compiling in single-source mode
Diffstat (limited to 'tests/crypt.urs')
0 files changed, 0 insertions, 0 deletions