diff options
| author | bors-servo <release+servo@mozilla.com> | 2014-05-07 05:29:11 -0400 |
|---|---|---|
| committer | bors-servo <release+servo@mozilla.com> | 2014-05-07 05:29:11 -0400 |
| commit | 5300846f331d8706dfbdcf0a23a6b3e412df5ca3 (patch) | |
| tree | e739dc085bca565cee253e75cbf73efd83133617 | |
| parent | e9ac0d1e2cab62cbef2b23bd7ba93374b52f4c02 (diff) | |
| parent | a2afa4b935e919333e2ee1dd0703c637cf7505be (diff) | |
| download | servo-5300846f331d8706dfbdcf0a23a6b3e412df5ca3.tar.gz servo-5300846f331d8706dfbdcf0a23a6b3e412df5ca3.zip | |
auto merge of #2358 : zwarich/servo/configure-dash-h, r=Ms2ger
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index bf3c739c6ea..d1ebac3c770 100755 --- a/configure +++ b/configure @@ -318,7 +318,7 @@ fi OPTIONS="" HELP=0 -if [ "$1" = "--help" ] +if [ "$1" = "-h" ] || [ "$1" = "--help" ] then HELP=1 shift |