diff options
author | Rickard Green <[email protected]> | 2019-03-04 17:45:46 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2019-03-04 17:45:46 +0100 |
commit | 445e1e5825c63176112580c2724fb5510bd9bd8e (patch) | |
tree | 7050d56706dc0a7dd329875968d4bc61315d8786 /otp_patch_apply | |
parent | 3e52ed2a13a9cf56edac6d0635f18e348465a66e (diff) | |
parent | b32a929bbb287c318f44cb0ecf17716c480f11ee (diff) | |
download | otp-445e1e5825c63176112580c2724fb5510bd9bd8e.tar.gz otp-445e1e5825c63176112580c2724fb5510bd9bd8e.tar.bz2 otp-445e1e5825c63176112580c2724fb5510bd9bd8e.zip |
Merge branch 'rickard/make-fixes-21/OTP-15551' into maint
* rickard/make-fixes-21/OTP-15551:
Fix install phase in build system
Diffstat (limited to 'otp_patch_apply')
-rwxr-xr-x | otp_patch_apply | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/otp_patch_apply b/otp_patch_apply index 0127b96a73..3ff929ccbb 100755 --- a/otp_patch_apply +++ b/otp_patch_apply @@ -19,7 +19,7 @@ # %CopyrightEnd% # -version="1.0.1" +version="1.0.2" force= lib_path= @@ -388,9 +388,7 @@ if [ $install_docs = yes ]; then TESTROOT="$idir" release_docs) || exit 1 done - (cd "$sdir/system/doc/top" && $MAKE clean) - - (cd "$sdir/system/doc/top" && \ + (cd "$sdir/system/doc" && \ $MAKE MAKE="$MAKE" RELEASE_ROOT="$idir" RELEASE_PATH="$idir" \ TESTROOT="$idir" release_docs) || exit 1 |