- we added some syntactic sugar in the text parser

[helm.git] / helm / software / lambda-delta / examples / exp_math / Makefile

diff --git a/helm/software/lambda-delta/examples/exp_math/Makefile b/helm/software/lambda-delta/examples/exp_math/Makefile
index 326001f32d12c58d046ae0d6d7c2daa92ae7eef9..ffc3343a00072ad458d00b17fc34b438a3b9b31d 100644 (file)
--- a/helm/software/lambda-delta/examples/exp_math/Makefile
+++ b/helm/software/lambda-delta/examples/exp_math/Makefile
@@ -10,6 +10,10 @@ all: $(HLNS)
        @echo "  HELENA -r $(ROOT)"
        $(H)$(HELENA) -r $(ROOT) $^
 
+progress: $(HLNS)
+       @echo "  HELENA -r $(ROOT) -j"
+       $(H)$(HELENA) -r $(ROOT) -j $^
+
 xml: $(HLNS)
        @echo "  HELENA -r $(ROOT) -x"
        $(H)$(HELENA) -r $(ROOT) -x -s 2 $^