propose-patch

[org.ibex.core.git] / Makefile

diff --git a/Makefile b/Makefile
index 9f13b38..2eb9259 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -256,3 +256,5 @@ dist: compile
        make install-dist platform=JVM
        echo -e "\n\n\n*** DONE ******************************************"
 
+propose-patch:
+       darcs push -s -A $(USER)@xwt.org -T patches@xwt.org