diff options
| author | Graydon Hoare <graydon@mozilla.com> | 2012-10-18 13:05:02 -0700 |
|---|---|---|
| committer | Graydon Hoare <graydon@mozilla.com> | 2012-10-18 14:51:20 -0700 |
| commit | e0b71dd6b3bac9596356377ec81608358fd1ca08 (patch) | |
| tree | b4f710dc77a7ee2428ec9f67469c9e64405109ca | |
| parent | 33795bc4d39227818f1ea849bee50216235e8a0f (diff) | |
| download | rust-e0b71dd6b3bac9596356377ec81608358fd1ca08.tar.gz rust-e0b71dd6b3bac9596356377ec81608358fd1ca08.zip | |
configure: note dep on head.
| -rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure index 3ff72afe67f..c275b1a096a 100755 --- a/configure +++ b/configure @@ -187,6 +187,7 @@ need_cmd cmp need_cmd mkdir need_cmd printf need_cmd cut +need_cmd head need_cmd grep need_cmd xargs need_cmd cp |