diff options
author | PikalaxALT <pikalaxalt@gmail.com> | 2019-05-11 21:22:09 -0400 |
---|---|---|
committer | PikalaxALT <pikalaxalt@gmail.com> | 2019-05-11 21:22:09 -0400 |
commit | 539d47279625a3d7a274726a02468bb5c1c56514 (patch) | |
tree | 08f68b473f37d1a74396ef2e28e1a0cecc60a9f1 /build_tools.sh | |
parent | a58d9a16dd7e4f263ebccda50e70103e7490886b (diff) | |
parent | fc72b74e6ca6626dbaffa353eabf49429ff5e75f (diff) |
Merge branch 'master' into dodrio_berry_picking
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 429a9cef0..b11a9a1b2 100755 --- a/build_tools.sh +++ b/build_tools.sh @@ -9,3 +9,4 @@ make -C tools/ramscrgen CXX=${1:-g++} make -C tools/gbafix CXX=${1:-g++} make -C tools/mid2agb CXX=${1:-g++} make -C tools/mapjson CXX=${1:-g++} +make -C tools/jsonproc CXX=${1:-g++} |