From d6863bfeded8c307a4476ce4edeff05103015f4d Mon Sep 17 00:00:00 2001 From: Rob Date: Sun, 31 Mar 2019 18:52:07 +0100 Subject: [PATCH] add simple script to uninstall->clean->rebuild->install --- refresh.sh | 2 ++ 1 file changed, 2 insertions(+) create mode 100755 refresh.sh 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