diff options
| author | ruki <[email protected]> | 2020-09-24 22:31:10 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2020-09-24 22:31:10 +0800 |
| commit | eb0434f929fd00e69bb5710bd1ab0f950b59e1b8 (patch) | |
| tree | b0e7af847ad7fdd4978ff6b9bc4eab36268fccf6 | |
| parent | ffc281eaa133f146b0f269c4a173d63265df111e (diff) | |
fix make uninstall
| -rw-r--r-- | makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -120,6 +120,7 @@ install: uninstall: @echo uninstalling from $(destdir) ... @if [ -d $(xmake_dir_install) ]; then rm -rf $(xmake_dir_install); fi + @if [ -f $(xmake_core_install) ]; then rm $(xmake_core_install); fi @echo ok! test: |