From b6ada27af1f6d04fcf9f767e7d4f8e951c4991dd Mon Sep 17 00:00:00 2001 From: jsteemann Date: Tue, 28 Aug 2018 21:08:10 +0200 Subject: [PATCH] re-add js --- Installation/Jenkins/build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/Installation/Jenkins/build.sh b/Installation/Jenkins/build.sh index 9d4b5f584d..4cc93279fc 100755 --- a/Installation/Jenkins/build.sh +++ b/Installation/Jenkins/build.sh @@ -956,6 +956,7 @@ if test -n "${TARGET_DIR}"; then etc/testing \ UnitTests \ Documentation \ + js \ lib/Basics/errors.dat \ 3rdParty/.keepme \ arangod/.keepme \