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 /plt | |
| 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 'plt')
0 files changed, 0 insertions, 0 deletions