Skip to content

Commit

Permalink
Update wasi-sdk.
Browse files Browse the repository at this point in the history
  • Loading branch information
whitequark committed Dec 29, 2020
1 parent 5e121bd commit 0aba9d4
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions build.sh
Expand Up @@ -2,8 +2,8 @@

export SOURCE_DATE_EPOCH=$(git log -1 --format=%ct)

WASI_SDK=wasi-sdk-11.0
WASI_SDK_URL=https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-11/wasi-sdk-11.0-linux.tar.gz
WASI_SDK=wasi-sdk-12.0
WASI_SDK_URL=https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-12/wasi-sdk-12.0-linux.tar.gz
if ! [ -d ${WASI_SDK} ]; then curl -L ${WASI_SDK_URL} | tar xzf -; fi

${WASI_SDK}/bin/clang --sysroot ${WASI_SDK}/share/wasi-sysroot -c getopt_long.c
Expand Down

0 comments on commit 0aba9d4

Please sign in to comment.