X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=sync-all;h=02ac5214b28cb1e9be6d41581088250e850b44c7;hb=1de43f7ca9e3790bb6450bb6860d5d14261470d9;hp=a2c6ab91684b81d2572aa5ff248e754f2920702b;hpb=1844c3c0804cac9b3e7c39500e47d75fbdc3a3ff;p=ghc-hetmet.git

diff --git a/sync-all b/sync-all
index a2c6ab9..02ac521 100755
--- a/sync-all
+++ b/sync-all
@@ -361,6 +361,12 @@ sub scmall {
               # Hack around 'git grep' failing if there are no matches
               $ignore_failure = 1;
             }
+            elsif ($command =~ /^reset$/) {
+                @scm_args = "reset";
+            }
+            elsif ($command =~ /^config$/) {
+                @scm_args = "config";
+            }
             else {
                 die "Unknown command: $command";
             }
@@ -416,6 +422,8 @@ Supported commands:
  * remote rm <branch-name>
  * remote set-url [--push] <branch-name>
  * grep
+ * reset
+ * config
 
 Available package-tags are:
 END