Reboot if required after update

[hdmi-switcher.git] / make-dist.sh

diff --git a/make-dist.sh b/make-dist.sh
index 698ae32..9dd65a8 100644 (file)
--- a/make-dist.sh
+++ b/make-dist.sh
@@ -2,6 +2,7 @@
 \r
 mkdir -p tmp/hdmi-switcher\r
 mkdir dist\r
+make clean\r
 make\r
 cp hdmi-switcher tmp/hdmi-switcher\r
 cp start.sh tmp/hdmi-switcher\r
@@ -17,4 +18,4 @@ then
     openssl dgst -sha256 -sign private.pem -out dist/update.sig dist/update.zip\r
 else\r
     echo "Warning: Unable to sign file. Private key not found."\r
-fi
\ No newline at end of file
+fi\r