Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 12:40:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #2358 : zwarich/servo/configure-dash-h, r=Ms2ger

Browse source
This commit is contained in:
bors-servo 2014-05-07 05:29:11 -04:00
commit 5300846f33
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
configure vendored
View file

@ -318,7 +318,7 @@ fi
OPTIONS="" OPTIONS=""
HELP=0 HELP=0
if [ "$1" = "--help" ] if [ "$1" = "-h" ] || [ "$1" = "--help" ]
then then
HELP=1 HELP=1
shift shift