From 794ee1a498ddc1d5fe15662c8745f1adfb3a7d70 Mon Sep 17 00:00:00 2001 From: Vincent Bernardoff Date: Wed, 8 Jun 2016 10:17:08 +0200 Subject: [PATCH] do not compile with -annot --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index a77605d5..cb89f7ef 100755 --- a/build.sh +++ b/build.sh @@ -1,6 +1,6 @@ #!/bin/sh -e -TAGS=principal,annot,bin_annot,short_paths,thread,strict_sequence +TAGS=principal,bin_annot,short_paths,thread,strict_sequence J_FLAG=2 BASE_PKG="sexplib ipaddr cstruct uri stringext"