diff options
| author | Swastik Baranwal <swstkbaranwal@gmail.com> | 2019-06-23 18:47:35 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-23 18:47:35 +0530 |
| commit | 99703c6ab831d34e6859d8a8f53ba8e73dc4d3d9 (patch) | |
| tree | 3a712d3039d152616af58a45a13d82c40a87e58f /build_tools.sh | |
| parent | 6d190f861e3559eec922cd760778c0cba6e08397 (diff) | |
| parent | 9ee0c34758a63f8c00724b6fc984b4e96be2f7af (diff) | |
Merge pull request #5 from pret/master
Take files
Diffstat (limited to 'build_tools.sh')
| -rwxr-xr-x | build_tools.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build_tools.sh b/build_tools.sh index f384c2d99..f64b01573 100755 --- a/build_tools.sh +++ b/build_tools.sh @@ -7,3 +7,5 @@ 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++} +make -C tools/jsonproc CXX=${1:-g++} |