Ticket #30020: patch-configure.py.diff

File patch-configure.py.diff, 520 bytes (added by othalan@…, 10 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