Ticket #30020: patch-configure.py.diff
| File patch-configure.py.diff, 520 bytes (added by othalan@…, 9 years ago) |
|---|
| Line | |
|---|---|
| 1 | *** configure.py.orig.py 2015-03-02 12:25:20.000000000 -0300 |
| 2 | --- configure.py 2015-03-02 12:26:35.000000000 -0300 |
| 3 | *************** |
| 4 | *** 341,347 **** |
| 5 | set_defaults() |
| 6 | |
| 7 | try: |
| 8 | ! optlist, args = getopt.getopt(argv[1:], "hab:d:e:knp:uv:") |
| 9 | except getopt.GetoptError: |
| 10 | usage() |
| 11 | |
| 12 | --- 341,347 ---- |
| 13 | set_defaults() |
| 14 | |
| 15 | try: |
| 16 | ! optlist, args = getopt.getopt(argv[1:], "hab:d:e:knp:uv:", ["disable-dependency-tracking"]) |
| 17 | except getopt.GetoptError: |
| 18 | usage() |
| 19 | |
| 20 |