diff options
| author | ruki <[email protected]> | 2016-09-17 22:56:19 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2016-09-17 22:56:19 +0800 |
| commit | d09980927326e1cbb534b8d557435cd780e7d0ef (patch) | |
| tree | 538e4e9e4bd3c6d42351c9948ee9017a9763be12 | |
| parent | d0ac94b2424f0f1ec179b48fcb440a458735acf0 (diff) | |
remove xmake.out
| -rwxr-xr-x | install | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -120,5 +120,10 @@ if [[ ! "$PATH" =~ "$prefix/bin" ]]; then echo 'please export PATH=$PATH:'"$prefix/bin" fi +# remove xmake.out +if [[ -f "/tmp/xmake.out" ]]; then + rm /tmp/xmake.out +fi + # ok echo ok! |
