diff options
author | Marius Kintel <marius@kintel.net> | 2013-06-17 05:59:14 (GMT) |
---|---|---|
committer | Marius Kintel <marius@kintel.net> | 2013-06-17 05:59:14 (GMT) |
commit | 07c7c0d8379424ebbf53d3bc27f3de4ac5c1da1b (patch) | |
tree | 4b4000865394b9e94dba73db67087d4332480623 /scripts | |
parent | 88f1fd99b4e62042c9a824a6571edcce2a6aeb5a (diff) |
Added future wishes
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/builder.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/builder.sh b/scripts/builder.sh index 71023da..1dd044f 100755 --- a/scripts/builder.sh +++ b/scripts/builder.sh @@ -11,6 +11,9 @@ # todo - make linux work # # todo - detect failure and stop +# +# todo - generalize to build release binaries as well +# init_variables() { @@ -200,6 +203,9 @@ update_win_www_download_links() fi } +# FIXME: We might be running this locally and not need an ssh agent. +# Before checking $SSH_AUTH_SOCK, try 'ssh -T git@github.com' to verify that we +# can access github over ssh check_ssh_agent() { if [ $DRYRUN ]; then echo 'skipping ssh, dry run'; return; fi |