diff options
author | Rickard Green <[email protected]> | 2019-03-06 17:55:41 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2019-03-06 20:17:37 +0100 |
commit | d9dd041acc211907b6cea4ae93f39c6319153d15 (patch) | |
tree | a059df820e6748de55c14f2431c7ec723886ac07 /make | |
parent | 1adb588f84b1a9340beac2719c0890a05e2dfaad (diff) | |
download | otp-d9dd041acc211907b6cea4ae93f39c6319153d15.tar.gz otp-d9dd041acc211907b6cea4ae93f39c6319153d15.tar.bz2 otp-d9dd041acc211907b6cea4ae93f39c6319153d15.zip |
Remove own configured RM make variable
Instead rely on gnu make's pre-defined RM variable which should
equal 'rm -f'
Diffstat (limited to 'make')
-rw-r--r-- | make/otp.mk.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/make/otp.mk.in b/make/otp.mk.in index ddc9cd9b79..0ab17d9649 100644 --- a/make/otp.mk.in +++ b/make/otp.mk.in @@ -264,7 +264,6 @@ DEFAULT_GIF_FILES = $(HTMLDIR)/min_head.gif XSLTPROC = @XSLTPROC@ FOP = @FOP@ XMLLINT = @XMLLINT@ -RM = @RM@ CP = @CP@ MKDIR = @MKDIR@ |