updated Makefile.common

[org.ibex.core.git] / Makefile.common

diff --git a/Makefile.common b/Makefile.common
index 17c5f2c..c777d9d 100644 (file)
--- a/Makefile.common
+++ b/Makefile.common
@@ -63,6 +63,10 @@ propose-patch:
 commit: propose-patch
        darcs push xwt@xwt.org:/var/www/org/ibex/core/
 
+pull:;     darcs pull            cd repo; for A in *.ibex.org; do cd $$A; darcs pull http://$$A/; cd ..; done
+whatsnew:; darcs whatsnew; true; cd repo; for A in *.ibex.org; do echo; echo $$A; cd $$A; darcs whatsnew; cd ..; done
+record:;   darcs record;         cd repo; for A in *.ibex.org; do echo; echo $$A; cd $$A; darcs record; cd ..; done
+
 
 ### documentation ##########################################################