summaryrefslogtreecommitdiff
path: root/gi
diff options
context:
space:
mode:
Diffstat (limited to 'gi')
-rwxr-xr-xgi/posterior-regularisation/prjava/Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/gi/posterior-regularisation/prjava/Makefile b/gi/posterior-regularisation/prjava/Makefile
index a16adcde..bd3bfca0 100755
--- a/gi/posterior-regularisation/prjava/Makefile
+++ b/gi/posterior-regularisation/prjava/Makefile
@@ -1,5 +1,8 @@
all:
ant dist
+check:
+ echo no tests
+
clean:
ant clean