diff options
author | PikalaxALT <PikalaxALT@users.noreply.github.com> | 2019-05-14 16:20:13 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-14 16:20:13 -0400 |
commit | 31e1a9e7596499e1fc90bc9b515dba888503f6f9 (patch) | |
tree | 0d18f7532ed1c607567a78b5192332c887935369 /build_tools.sh | |
parent | 9b01d4fee588b0733cf4242173d43a9fc5889e57 (diff) | |
parent | 2e9d8a61e0882d6606e72185e830a4abc623c21d (diff) |
Merge pull request #48 from garakmon/mapdump
map data
Diffstat (limited to 'build_tools.sh')
-rwxr-xr-x | build_tools.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build_tools.sh b/build_tools.sh index f384c2d99..212df96e7 100755 --- a/build_tools.sh +++ b/build_tools.sh @@ -7,3 +7,4 @@ make -C tools/preproc CXX=${1:-g++} make -C tools/ramscrgen CXX=${1:-g++} make -C tools/rsfont CXX=${1:-g++} make -C tools/scaninc CXX=${1:-g++} +make -C tools/mapjson CXX=${1:-g++} |