Skip to content

Commit 4148f10

Browse files
committed
[interpreter] Fix Makefile for wast.js build
1 parent d48af68 commit 4148f10

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

interpreter/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,7 @@ _build/$(LIB).cmxa: $(FILES) $(LIB).mllib _tags Makefile
112112
$(JSLIB): $(UNOPT)
113113
mkdir -p _build/jslib/src
114114
cp meta/jslib/* _build/jslib
115-
cp $(DIRS:%=_build/%/*.ml*) meta/jslib/*.ml _build/jslib/src
115+
cp $(wildcard $(DIRS:%=_build/%/*.ml*)) meta/jslib/*.ml _build/jslib/src
116116
rm _build/jslib/src/*.ml[^i]
117117
(cd _build/jslib; ./build.sh ../../$@)
118118

0 commit comments

Comments
 (0)