auto-detect changed prefix and/or changed build flags

diff --git a/git-reset.sh b/git-reset.sh
index 0ee3e3e154a7721dc9d604fd400d2f53eaad9940..296f3b779b5889e4f9e69f994587d70503e8b25e 100755 (executable)
--- a/git-reset.sh
+++ b/git-reset.sh
@@ -48,7 +48,7 @@ then
 else
        rm -f "$GIT_DIR/ORIG_HEAD"
 fi
-git-update-ref HEAD "$rev"
+git-update-ref -m "reset $reset_type $@" HEAD "$rev"
 
 case "$reset_type" in
 --hard )