diff options
author | Rasmus Andersson <rasmus@notion.se> | 2019-01-07 20:35:23 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2019-01-07 20:35:23 +0300 |
commit | c134b24a0a80588cf1a05dc0ec21be029599fd11 (patch) | |
tree | 80a77786c607811a8eb4d1c40dd3bbc4a079593e /misc/docker/build.sh | |
parent | dfe6b939c719410b73aa965016173b50b5b55995 (diff) | |
download | inter-c134b24a0a80588cf1a05dc0ec21be029599fd11.tar.xz |
update docker build script and add convenience wrapper
Diffstat (limited to 'misc/docker/build.sh')
-rwxr-xr-x | misc/docker/build.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/misc/docker/build.sh b/misc/docker/build.sh index 39313dc5b..d0d1bdfbe 100755 --- a/misc/docker/build.sh +++ b/misc/docker/build.sh @@ -26,7 +26,6 @@ rsync -v -acC --delete --filter="- *.pyc" --filter="- /*/" \ "$BUILD_DIR/misc/tools/" & rsync -v -acC --delete \ misc/fontbuild \ - misc/fonttools-3.34.2-psCharStrings.patch \ misc/ttf2woff \ "$BUILD_DIR/misc/" wait |