diff options
author | Dario Ostuni | 2020-11-28 16:34:16 +0100 |
---|---|---|
committer | Dario Ostuni | 2020-11-28 16:34:16 +0100 |
commit | 4b05b9d989ce0652689006afc57b9e99de59e5e6 (patch) | |
tree | 114054c23f612970805483f26c600ee551aff6b7 /binfmt-wasmtime-wrapper | |
parent | e5b8fbb79bcbe21e502de7828111ef8c9253b323 (diff) | |
download | aur-binfmt-wasm.tar.gz |
Better CLI arguments handling
Diffstat (limited to 'binfmt-wasmtime-wrapper')
-rwxr-xr-x | binfmt-wasmtime-wrapper | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/binfmt-wasmtime-wrapper b/binfmt-wasmtime-wrapper new file mode 100755 index 000000000000..a4b532992cbd --- /dev/null +++ b/binfmt-wasmtime-wrapper @@ -0,0 +1,3 @@ +#!/bin/bash + +/usr/bin/wasmtime -- "$@" |