update_rev: aggiornamento diretto dell'hash nel file.

diff --git a/update_rev.sh b/update_rev.sh
index dea66c3f6f9dfeda8fe05862afd422c8371c3f3a..ebe6459ef0f5e879ce1e6423029da034c16bb9fb 100755 (executable)
--- a/update_rev.sh
+++ b/update_rev.sh
@@ -1,4 +1,6 @@
 #!/bin/bash
 
 url=$(awk '/url/ {gsub("\"", "", $3); gsub(";", "", $3); print $3}' $1)
-git ls-remote $url refs/heads/$2 | awk '{print $1}'
+sha=$(git ls-remote $url refs/heads/$2 | awk '{print $1}')
+
+sed -i -e "s/rev[ ]*=[ ]*\".*\"/rev = \"$sha\"/g" $1