From f44c56c961724312224a13e209b3b6db39ad9d77 Mon Sep 17 00:00:00 2001
From: Thomas Lively <7121787+tlively@users.noreply.github.com>
Date: Fri, 29 Mar 2019 15:51:17 -0700
Subject: Delete wasm-merge (#1969)

It is not very useful.
---
 scripts/test/shared.py | 1 -
 1 file changed, 1 deletion(-)

(limited to 'scripts/test')

diff --git a/scripts/test/shared.py b/scripts/test/shared.py
index 7c456db8f..7723f7cee 100644
--- a/scripts/test/shared.py
+++ b/scripts/test/shared.py
@@ -169,7 +169,6 @@ ASM2WASM = [os.path.join(options.binaryen_bin, 'asm2wasm')]
 WASM2JS = [os.path.join(options.binaryen_bin, 'wasm2js')]
 WASM_CTOR_EVAL = [os.path.join(options.binaryen_bin, 'wasm-ctor-eval')]
 WASM_SHELL = [os.path.join(options.binaryen_bin, 'wasm-shell')]
-WASM_MERGE = [os.path.join(options.binaryen_bin, 'wasm-merge')]
 WASM_REDUCE = [os.path.join(options.binaryen_bin, 'wasm-reduce')]
 WASM_METADCE = [os.path.join(options.binaryen_bin, 'wasm-metadce')]
 WASM_EMSCRIPTEN_FINALIZE = [os.path.join(options.binaryen_bin,
-- 
cgit v1.2.3