diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-02-23 22:20:30 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-02-26 23:22:34 +0100 |
| commit | 11f795aaf69dbd7d185bbf0136ae555b53768538 (patch) | |
| tree | eb14ba79d3c6a195836b627bc10702d6b573b60f /ci/script.sh | |
| parent | a23380828071af69ec0362aae1b30c6e09b511f0 (diff) | |
add `binds` example and make it work
Diffstat (limited to 'ci/script.sh')
| -rw-r--r-- | ci/script.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/script.sh b/ci/script.sh index 5cc79fb..7cda1e5 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -93,6 +93,7 @@ main() { idle init interrupt + binds resource lock |