[HTTPS-Everywhere] Minor patch

[Alex Xu]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Ah. Didn't notice the `shift`.

Addendum: Why doesn't anybody use "Reply List" instead of "Reply"?

On 11-10-07 04:20 PM, Colonel Graff wrote:
> As I wrote it, the flag should be used first and then it'll be discarded. If
> the flag doesn't appear as the first parameter, it won't be triggered.
> On Oct 7, 2011 4:12 PM, "Alex Xu" <alex_y_xu at yahoo.ca> wrote:
> 
>> Problem: How to use flag while compiling a particular branch/tag?
>>
>> On 11-10-06 11:25 PM, Colonel Graff wrote:
>>> Actually, I went ahead with it. Here's the patch. It shouldn't be
>>> dependent upon the previous one being applied first.
>>>
>>> On Thu, Oct 6, 2011 at 11:10 PM, Colonel Graff
>>> <graffatcolmingov at gmail.com <mailto:graffatcolmingov at gmail.com>> wrote:
>>>
>>>     Hey all,
>>>
>>>     Just ran makexpi.sh for the first time in far too long a time and
>>>     encountered the annoying error I reference in the patch.
>>>
>>>     On a separate note, I'm a little annoyed (to say the least) that
>>>     trivial_validate.py uses lxml. I'm sure it's convenient and whatnot
>>>     but would anyone be upset if makexpi.sh was altered to take a flag
>>>     which made it use the shell version of trivial_validate?
>>>
>>>     If not that'll be my next submission to the list.
>>>
>>>     --Graff
>>>
>>>
>>>
>>>
>>> _______________________________________________
>>> HTTPS-everywhere mailing list
>>> HTTPS-everywhere at mail1.eff.org
>>> https://mail1.eff.org/mailman/listinfo/https-everywhere
>>
> 
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQEcBAEBAgAGBQJOj1/UAAoJEPTpsLYkt2W8x5EH/3Fo0dKnapkXUZBKnsaU4Cmv
hqSMwWIb9LV3IDBZI2AGTvukz+9LBSLfrzjQBVmeQIaZwnxfDi54BifYS5C9VK3p
bBmmVJ6hGSW2/JxxNzCYAKQEgrJFVrGR2NLVAEHPPGzC10fWgfSdcRVMEIq7zy63
VTEeH0GVm50o2qs9wHnuNZ57G+ES1K68K8brt/bdAhkuAqNXcGk1BuMUqiXeLcWJ
OqKXCNO+IlRbfY7q4HBLphf7zkLc/9ZTtCc3uOzaa+I0KdZRQRxXw+bffEKU1nY5
uGhLrzde4mJb1m7vmKZX01YeEmnVMPJiDRl9ui422+9cA9M4FCgDb4SS4vBO/d8=
=TiNN
-----END PGP SIGNATURE-----