update_rev: parametrizzati file e branch.

diff --git a/update_rev.sh b/update_rev.sh
index f212c8cf928dcd10d9903b70060f570e964a4a69..dea66c3f6f9dfeda8fe05862afd422c8371c3f3a 100755 (executable)
--- a/update_rev.sh
+++ b/update_rev.sh
@@ -1,4 +1,4 @@
 #!/bin/bash
 
-url=$(awk '/url/ {gsub("\"", "", $3); gsub(";", "", $3); print $3}' libzakutils.nix)
-git ls-remote $url refs/heads/develop | awk '{print $1}'
+url=$(awk '/url/ {gsub("\"", "", $3); gsub(";", "", $3); print $3}' $1)
+git ls-remote $url refs/heads/$2 | awk '{print $1}'