diff options
author | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2018-05-08 17:25:29 +0600 |
---|---|---|
committer | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2018-05-08 17:25:29 +0600 |
commit | 1078553f5a8de2a5e85dbd49058370afeefa68c7 (patch) | |
tree | 5ad865ff4d91578fa2923930a83b6ffd003d3fd4 /tests/Makefile | |
parent | c293746d4c34ccb7abb8af41f7d05940aa7e4076 (diff) |
Adding jsbspace for #121.
Diffstat (limited to 'tests/Makefile')
-rw-r--r-- | tests/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/Makefile b/tests/Makefile index 63ae555e..250a2ece 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -19,3 +19,4 @@ simple:: ./driver.sh entities ./driver.sh fact ./driver.sh filter + ./driver.sh jsbspace |