diff options
| author | Rob <rjl6789@hotmail.co.uk> | 2019-03-31 18:52:07 +0100 |
|---|---|---|
| committer | Rob <rjl6789@hotmail.co.uk> | 2019-03-31 18:52:07 +0100 |
| commit | d6863bfeded8c307a4476ce4edeff05103015f4d (patch) | |
| tree | a93074dad6a79db63b6507ebdeadc61c9aa2424d | |
| parent | 502c57de2fe8e0317edfb27240efc55a0800c137 (diff) | |
add simple script to uninstall->clean->rebuild->install
| -rwxr-xr-x | refresh.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/refresh.sh b/refresh.sh new file mode 100755 index 0000000..28ac13c --- /dev/null +++ b/refresh.sh @@ -0,0 +1,2 @@ +#!/bin/sh +sudo make uninstall && make clean && make && sudo make install |