diff options
author | garak <garakmon@gmail.com> | 2019-07-29 13:06:45 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-29 13:06:45 -0400 |
commit | 5b57c001f5fe653542b6289540e3b6c6b67a8cfe (patch) | |
tree | 26a9ba631960bc56d01daca1777164801d4e0075 /tools/mapjson | |
parent | 54c635683c1d2573885987acc4e99728f38e5131 (diff) | |
parent | 136da953d6888562e76b0694a98988888adcd6d8 (diff) |
Merge branch 'master' into navdata
Diffstat (limited to 'tools/mapjson')
-rw-r--r-- | tools/mapjson/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/mapjson/Makefile b/tools/mapjson/Makefile index d09acad50..9a49be506 100644 --- a/tools/mapjson/Makefile +++ b/tools/mapjson/Makefile @@ -6,7 +6,10 @@ SRCS := json11.cpp mapjson.cpp HEADERS := mapjson.h -.PHONY: clean +.PHONY: all clean + +all: mapjson + @: mapjson: $(SRCS) $(HEADERS) $(CXX) $(CXXFLAGS) $(SRCS) -o $@ $(LDFLAGS) |