From a3f507ae8107e0b168ec2e16bb2438147f527423 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Tue, 9 Apr 2019 12:01:21 +0200 Subject: [PATCH] Rename wasi.sh to wasm32-wasi.sh --- dist-build/Makefile.am | 2 +- dist-build/{wasi.sh => wasm32-wasi.sh} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename dist-build/{wasi.sh => wasm32-wasi.sh} (100%) diff --git a/dist-build/Makefile.am b/dist-build/Makefile.am index 27216cfa..79949e74 100644 --- a/dist-build/Makefile.am +++ b/dist-build/Makefile.am @@ -13,4 +13,4 @@ EXTRA_DIST = \ msys2-win32.sh \ msys2-win64.sh \ watchos.sh \ - wasi.sh + wasm32-wasi.sh diff --git a/dist-build/wasi.sh b/dist-build/wasm32-wasi.sh similarity index 100% rename from dist-build/wasi.sh rename to dist-build/wasm32-wasi.sh