commit 16bf55622a2813a98e53e3a7311d201f1a46d71a parent ffd2a62c3f7df94365980302fef3bc3376b48182 Author: Florian Dold <florian.dold@gmail.com> Date: Mon, 3 Aug 2020 13:22:29 +0530 build system Diffstat:
| M | .gitignore | | | 2 | +- |
| M | Makefile | | | 2 | +- |
| R | configure.py -> build-system/configure.py | | | 0 |
3 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitignore b/.gitignore @@ -13,7 +13,7 @@ yarn-error.log npm-packages-offline-cache/ /configure -/config.mk +build-system/config.mk \#*\# diff --git a/Makefile b/Makefile @@ -7,7 +7,7 @@ typedoc = node_modules/typedoc/bin/typedoc ava = node_modules/.bin/ava nyc = node_modules/nyc/bin/nyc.js -include config.mk +include ./build-system/config.mk .PHONY: compile compile: diff --git a/configure.py b/build-system/configure.py