diff options
author | /dev/humancontroller <devhc@example.com> | 2017-02-06 17:51:46 +0100 |
---|---|---|
committer | /dev/humancontroller <devhc@example.com> | 2017-02-06 17:58:53 +0100 |
commit | 0a18fe245ad759b6a7b1f64d2cf2a775c081421c (patch) | |
tree | 1cfc8dc95cd12909c7876d4160431689ec90cf9c | |
parent | cefe2746569d4b9564c4cb99f6c9eaeb0f083d5a (diff) |
reserve (by default) the "dep" directory for the repository of dependencies (system libraries)
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | GNUmakefile | 4 |
2 files changed, 5 insertions, 0 deletions
@@ -1,2 +1,3 @@ /bld /GNUmakefile.local +/dep/ diff --git a/GNUmakefile b/GNUmakefile index 419efdb6..0a888d1c 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -134,6 +134,10 @@ ifndef MOUNT_DIR MOUNT_DIR=src endif +ifndef DEP_DIR +DEP_DIR=dep +endif + ifndef BUILD_DIR BUILD_DIR=bld endif |