X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2FMakefile;h=0ea2557b329ada3c07b63720127f32cb7fce3be4;hb=9aacfb2ddb32a1481ff42c51279ced80cc59a16e;hp=a7898ea68bd88a9c2e967aa5b69592c0fb26dc8f;hpb=fec47c17784b6c916f1398bb047ff0b02a887609;p=helm.git diff --git a/helm/hbugs/Makefile b/helm/hbugs/Makefile index a7898ea68..0ea2557b3 100644 --- a/helm/hbugs/Makefile +++ b/helm/hbugs/Makefile @@ -1,4 +1,4 @@ -DIRS = common broker +DIRS = common broker client DIRS_BYTE = $(patsubst %,%.byte,$(DIRS)) DIRS_OPT = $(patsubst %,%.opt,$(DIRS))