Browse Source

Fix up makefilef for dist

dev/git-series/gccdum
Matt Godbolt 6 years ago
parent
commit
d5e2420322
  1. 2
      Makefile

2
Makefile

@ -85,7 +85,7 @@ dist: prereqs
--output out/dist/v/$(HASH)/ext/requirejs/require.js \
--source-map out/dist/v/$(HASH)/ext/requirejs/require.js.map \
--source-map-url require.js.map \
--source-map-root //v/$(HASH)/ext/requirejs
--source-map-root //v/$(HASH)/ext/requirejs \
--prefix 6
# rewrite any src refs
sed -i -e 's!src="!src="v/'"$(HASH)"'/'! out/dist/*.html

Loading…
Cancel
Save