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 | |
| parent | a23380828071af69ec0362aae1b30c6e09b511f0 (diff) | |
add `binds` example and make it work
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/expected/binds.run | 4 | ||||
| -rw-r--r-- | ci/script.sh | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/ci/expected/binds.run b/ci/expected/binds.run new file mode 100644 index 0000000..f84cff0 --- /dev/null +++ b/ci/expected/binds.run @@ -0,0 +1,4 @@ +init +foo called 1 time +idle +foo called 2 times 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 |