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 /lib/tools | |
| 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 'lib/tools')
| -rw-r--r-- | lib/tools/c_src/Makefile.in | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/lib/tools/c_src/Makefile.in b/lib/tools/c_src/Makefile.in index b1eb69f9dc..817d838054 100644 --- a/lib/tools/c_src/Makefile.in +++ b/lib/tools/c_src/Makefile.in @@ -28,7 +28,6 @@ CC=@CC@ LD=@LD@ AR=@AR@ RANLIB=@RANLIB@ -RM=@RM@ MKDIR=@MKDIR@ INSTALL=@INSTALL@ INSTALL_DIR=@INSTALL_DIR@ @@ -165,9 +164,9 @@ $(ERTS_LIB): docs: clean: - $(RM) -rf ../obj/* - $(RM) -rf ../bin/* - $(RM) -f ./*~ + $(RM) -r ../obj/* + $(RM) -r ../bin/* + $(RM) ./*~ .PHONY: all erts_lib docs clean |