mingwmake.bat
changeset 441 6f0eb79b3dda
parent 427 a7f5e6de19d2
child 456 59a88a51f46a
--- a/mingwmake.bat	Fri May 01 13:03:50 2015 +0200
+++ b/mingwmake.bat	Fri May 01 13:44:43 2015 +0200
@@ -27,4 +27,32 @@
 @call mingwmake %1 %2 || exit /b "%errorlevel%"
 @popd
 
+@echo "***********************************"
+@echo "Buildung stx/goodies/petitparser/parser/smalltalk
+@echo "***********************************"
+@pushd parser\smalltalk
+@call mingwmake %1 %2 || exit /b "%errorlevel%"
+@popd
 
+@echo "***********************************"
+@echo "Buildung stx/goodies/petitparser/parser/java
+@echo "***********************************"
+@pushd parser\java
+@call mingwmake %1 %2 || exit /b "%errorlevel%"
+@popd
+
+@echo "***********************************"
+@echo "Buildung stx/goodies/petitparser/compiler
+@echo "***********************************"
+@pushd compiler
+@call mingwmake %1 %2 || exit /b "%errorlevel%"
+@popd
+
+@echo "***********************************"
+@echo "Buildung stx/goodies/petitparser/compiler/tests
+@echo "***********************************"
+@pushd compiler\tests
+@call mingwmake %1 %2 || exit /b "%errorlevel%"
+@popd
+
+