diff options
author | Dario Ostuni | 2020-04-18 16:25:30 +0200 |
---|---|---|
committer | Dario Ostuni | 2020-04-18 16:25:30 +0200 |
commit | 0e0a534c8aecc636beafea65698947cfd0167d3f (patch) | |
tree | 4437df34bac6829f995a207130094d45fcd8cccc | |
parent | 1aa74a9d061e5a0b17145ddb2e0d2b5b0ee1ec42 (diff) | |
download | aur-0e0a534c8aecc636beafea65698947cfd0167d3f.tar.gz |
Only wasmtime is now provided
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -26,6 +26,4 @@ build() { package() { cd "$srcdir/$pkgname-$pkgver" install -Dm755 "target/release/$pkgname" "$pkgdir/usr/bin/$pkgname" - install -Dm755 "target/release/wasm2obj" "$pkgdir/usr/bin/wasm2obj" - install -Dm755 "target/release/wast" "$pkgdir/usr/bin/wast" } |