Skip to content

Commit b93487f

Browse files
committed
Fix AOT feature filtering
Signed-off-by: James Sturtevant <jsturtevant@gmail.com>
1 parent 5553fa9 commit b93487f

1 file changed

Lines changed: 19 additions & 4 deletions

File tree

src/hyperlight_wasm/scripts/build-wasm-examples.sh

Lines changed: 19 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -28,14 +28,29 @@ for FEATURE in ${FEATURES//,/ }; do
2828
case "$FEATURE" in
2929
"")
3030
;;
31-
gdb)
31+
gdb|hyperlight-wasm/gdb|hyperlight-wasm-aot/gdb)
3232
AOT_COMPILE_FLAGS+=(--debug)
33-
AOT_FEATURES+=("$FEATURE")
33+
AOT_FEATURES+=(gdb)
34+
;;
35+
pulley|hyperlight-wasm/pulley)
36+
AOT_COMPILE_FLAGS+=(--pulley)
3437
;;
35-
wasmtime_latest)
38+
wasmtime_latest|hyperlight-wasm/wasmtime_latest)
3639
AOT_COMPILE_FLAGS+=(--wasmtime-version latest)
3740
;;
38-
wasmtime_lts)
41+
wasmtime_lts|hyperlight-wasm/wasmtime_lts)
42+
;;
43+
function_call_metrics|hyperlight-wasm/function_call_metrics|\
44+
print_debug|hyperlight-wasm/print_debug|\
45+
crashdump|hyperlight-wasm/crashdump|\
46+
kvm|hyperlight-wasm/kvm|\
47+
mshv3|hyperlight-wasm/mshv3|\
48+
trace_guest|hyperlight-wasm/trace_guest)
49+
;;
50+
hyperlight-wasm-aot/*)
51+
AOT_FEATURES+=("${FEATURE#hyperlight-wasm-aot/}")
52+
;;
53+
hyperlight-wasm/*)
3954
;;
4055
*)
4156
AOT_FEATURES+=("$FEATURE")

0 commit comments

Comments
 (0)