diff options
author | 2017-03-18 14:32:24 +0100 | |
---|---|---|
committer | 2017-03-30 19:39:49 +0800 | |
commit | 48889d70b8110434532e274e24222d0602cc8b03 (patch) | |
tree | fe6725dc11c8fab36be78622ba5080b6e6f597b3 /Makefile | |
parent | Module version bump for fixes from cgzones. (diff) | |
download | hardened-refpolicy-48889d70b8110434532e274e24222d0602cc8b03.tar.gz hardened-refpolicy-48889d70b8110434532e274e24222d0602cc8b03.tar.bz2 hardened-refpolicy-48889d70b8110434532e274e24222d0602cc8b03.zip |
travis: run make xml, html and install(-.*)? targets
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -560,7 +560,9 @@ install-docs: $(tmpdir)/html # install-src: rm -rf $(srcpath)/policy.old - -mv $(srcpath)/policy $(srcpath)/policy.old + if test -d $(srcpath)/policy; then \ + mv $(srcpath)/policy $(srcpath)/policy.old ;\ + fi mkdir -p $(srcpath)/policy cp -R . $(srcpath)/policy |