diff options
author | Victor Zverovich <victor.zverovich@gmail.com> | 2018-04-15 10:34:04 -0700 |
---|---|---|
committer | Victor Zverovich <victor.zverovich@gmail.com> | 2018-04-15 10:34:04 -0700 |
commit | ded921f0a27930fdb6854789273d6e19408d470c (patch) | |
tree | f6c29e9386eda8385ea0e7d665bfd974527f37ed /support | |
parent | 3284751f437fa9d81b2c1de0a215d5395d8af7b8 (diff) | |
download | fmtlib-ded921f0a27930fdb6854789273d6e19408d470c.tar.gz |
Fix documentation build, take 2
Diffstat (limited to 'support')
-rwxr-xr-x | support/travis-build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/travis-build.py b/support/travis-build.py index 3ef09fa4..baefc1d4 100755 --- a/support/travis-build.py +++ b/support/travis-build.py @@ -2,7 +2,7 @@ # Build the project on Travis CI. from __future__ import print_function -import errno, os, re, shutil, sys, tempfile, urllib +import errno, os, re, shutil, subprocess, sys, tempfile, urllib from subprocess import call, check_call, check_output, Popen, PIPE, STDOUT def rmtree_if_exists(dir): |