Don't use no longer defined option.
commit1d7e72d578490bde59a1bbfcc01b7c5655bf922b
authorWerner Lemberg <wl@gnu.org>
Mon, 1 Dec 2008 23:12:58 +0000 (2 00:12 +0100)
committerWerner Lemberg <wl@gnu.org>
Mon, 1 Dec 2008 23:12:58 +0000 (2 00:12 +0100)
treed1edea0fc1f7a2cf3500cc2be539056cdd3ed773
parent5b4b0d6e9a197e8f9eb085b7c2ad78b8be3e5cfc
Don't use no longer defined option.
buildscripts/builder.py