diff options
| author |   cgzones <cgzones@googlemail.com> | 2017-03-18 14:32:24 +0100 |
|---|---|---|
| committer |   Jason Zaman <jason@perfinion.com> | 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 |