diff options
| author | Matthias Wachs <wachs@net.in.tum.de> | 2014-01-28 15:16:16 +0000 |
|---|---|---|
| committer | Matthias Wachs <wachs@net.in.tum.de> | 2014-01-28 15:16:16 +0000 |
| commit | 8da9b26344eced5d7cfec389be99da4a3708294c (patch) | |
| tree | 997b3b928c5fb73f1ce33c6950fb6c0ec2ff7d1f /src | |
| parent | 993635e2173c3dfd1990e9a0e64314ad729ea749 (diff) | |
| download | gnunet-8da9b26344eced5d7cfec389be99da4a3708294c.tar.gz gnunet-8da9b26344eced5d7cfec389be99da4a3708294c.zip | |
renaming options + adding glpk verbose option
Diffstat (limited to 'src')
| -rw-r--r-- | src/ats/ats.conf.in | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/ats/ats.conf.in b/src/ats/ats.conf.in index 57e82cefc..229fc52b8 100644 --- a/src/ats/ats.conf.in +++ b/src/ats/ats.conf.in | |||
| @@ -49,11 +49,13 @@ BLUETOOTH_QUOTA_OUT = 128 KiB | |||
| 49 | 49 | ||
| 50 | # MLP Log settings | 50 | # MLP Log settings |
| 51 | # Dump all problems to disk | 51 | # Dump all problems to disk |
| 52 | # DUMP_PROBLEM_ALL = YES | 52 | # MLP_DUMP_PROBLEM_ALL = YES |
| 53 | # Dump all solution to disk | 53 | # Dump all solution to disk |
| 54 | # DUMP_SOLUTION_ALL = YES | 54 | # MLP_DUMP_SOLUTION_ALL = YES |
| 55 | # Print GLPK output | ||
| 56 | # MLP_GLPK_VERBOSE = YES | ||
| 55 | 57 | ||
| 56 | # Dump all problems to disk | 58 | # Dump all problems to disk |
| 57 | DUMP_PROBLEM_ON_FAIL = YES | 59 | MLP_DUMP_PROBLEM_ON_FAIL = YES |
| 58 | # Dump all solution to disk | 60 | # Dump all solution to disk |
| 59 | DUMP_SOLUTION_ON_FAIL = YES \ No newline at end of file | 61 | MLP_DUMP_SOLUTION_ON_FAIL = YES \ No newline at end of file |